enum Z3::Result

Defined in:

z3/result.cr

Enum Members

Unsat = 0
Unknown = 1
Sat = 2

Constructors

Instance Method Summary

Constructor Detail

def self.from_z3_lbool(result : LibZ3::LBool) : Result #

[View source]

Instance Method Detail

def sat? #

[View source]
def unknown? #

[View source]
def unsat? #

[View source]