Goal class
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
-
assertExpr(
AST a) → void -
convert(
Model? m) → Model -
getDepth(
) → int -
getNumExprs(
) → int -
getPrecision(
) → GoalPrecision -
getSize(
) → int -
isDecidedSat(
) → bool -
isDecidedUnsat(
) → bool -
isInconsistent(
) → bool -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
reset(
) → void -
toContext(
Context c) → Goal -
toDimacs(
{bool includeNames = true}) → String -
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited