Z3::CheckResult
Inherits Struct < Value < Object
Constructors
new(result : Result, model : Model | Nil)
SourceInstance methods
model
Sourcemodel?
Sourceresult
Sourcesat?(*args, **options)
Sourcesat?(*args, **options, &)
Sourceunknown?(*args, **options)
Sourceunknown?(*args, **options, &)
Sourceunsat?(*args, **options)
Sourceunsat?(*args, **options, &)
Source