Model class
- Available Extensions
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
-
addConstInterp(
FuncDecl decl, Expr value) → void -
addFuncInterp(
FuncDecl decl, Expr defaultValue) → FuncInterp -
eval<
A extends Expr?> (Expr query, {bool completion = true}) → A -
evalConst<
A extends Expr> (ConstVar query) → A? -
getConsts(
) → List< FuncDecl> -
getFuncInterp(
FuncDecl decl) → FuncInterp? -
getFuncs(
) → List< FuncDecl> -
getSorts(
) → List< Sort> -
getSortUniverse(
Sort s) → List< Expr> -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toContext(
Context c) → Model -
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited