enum Z3::Result

Defined in:

Enum Members

Unsat = 0

Unknown = 1

Sat = 2

Constructors

• .from_z3_lbool(result : LibZ3::LBool) : Result

Instance Method Summary

• #sat?

  Returns true if this enum value equals Sat

• #unknown?

  Returns true if this enum value equals Unknown

• #unsat?

  Returns true if this enum value equals Unsat

Constructor Detail

Instance Method Detail