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
pub struct Model<'ctx> { /* fields omitted */ }
Model for the constraints inserted into the logical context.
Translate model to context dest