enum

Z3::Result

Inherits Enum < Comparable < Value < Object

Constants

Unsat = 0
Unknown = 1
Sat = 2

Constructors

from_z3_lbool(result : LibZ3::LBool) : Result
Source

Instance methods

sat?

Returns true if this enum value equals Sat

Source
unknown?

Returns true if this enum value equals Unknown

Source
unsat?

Returns true if this enum value equals Unsat

Source