class Z3::Model

• Z3::Model
• Reference
• Object

Defined in:

z3/model.cr

Constructors

• .new(model : LibZ3::Model)

Instance Method Summary

• #[](expr)
• #eval(expr : BoolExpr, complete = false)
• #eval(expr : IntExpr, complete = false)
• #eval(expr : BitvecExpr, complete = false)
• #eval(expr : RealExpr, complete = false)
• #to_s(io)

  This needs to go eventually

• #to_unsafe : LibZ3::Model

Constructor Detail

Instance Method Detail