struct Z3::CheckResult

• Z3::CheckResult
• Struct
• Value
• Object

Defined in:

z3/result.cr

Constructors

• .new(result : Result, model : Model | Nil)

Instance Method Summary

• #model : Model
• #model? : Model | Nil
• #result : Result
• #sat?(*args, **options)
• #sat?(*args, **options, &)
• #unknown?(*args, **options)
• #unknown?(*args, **options, &)
• #unsat?(*args, **options)
• #unsat?(*args, **options, &)

Constructor Detail

Instance Method Detail