Z3_lbool class abstract

\brief Lifted Boolean type: \c false, \c undefined, \c true.

Constructors

Z3_lbool()

Properties

hashCode int
The hash code for this object.
no setterinherited
runtimeType Type
A representation of the runtime type of the object.
no setterinherited

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
inherited

Operators

operator ==(Object other) bool
The equality operator.
inherited

Constants

L_FALSE → const int
L_TRUE → const int
L_UNDEF → const int