Struct z3::Model [−][src]
pub struct Model<'ctx> { /* fields omitted */ }
Expand description
Model for the constraints inserted into the logical context.
Implementations
Translate model to context dest
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for Model<'ctx>
impl<'ctx> UnwindSafe for Model<'ctx>