FuncInterp class
The interpretation of a function in a Model.
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
-
addEntry(
List< Expr> args, Expr value) → void - Adds an entry to this function.
-
getArity(
) → int - Gets the arity of this function.
-
getElse(
) → Expr - Gets the value of this function when no other entry matches.
-
getEntries(
) → List< FuncEntry> - Gets the instances of this function.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
setElse(
Expr value) → void - Sets the value of this function when no other entry matches.
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited