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