Solver class

Properties

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

Methods

add(Expr a, {ConstVar? constant}) → void
addAll(Iterable<Expr> a) → void
addSmtlib(String str) → void
addSmtlibFile(File file) → void
check() bool?
checkAssumptions(List<AST> assumptions) bool?
congruenceNext(Expr a) Expr
congruenceRoot(Expr a) Expr
cube(List<Expr> variables, int backtrackLevel) List<AST>
ensureSat() Model
ensureUnsat() → void
getAssertions() List<Expr>
getConsequences(List<Expr> assumptions, List<Expr> variables) List<Expr>?
getHelp() String
getImpliedEqualities(List<Expr> terms) List<int>?
getModel() Model
getNonUnits() List<Expr>
getNumScopes() int
getParamDescs() ParamDescs
getProof() Expr
getReasonUnknown() String
getStats() Stats
getTrail() List<Expr>
getUnits() List<Expr>
getUnsatCore() List<Expr>
importConverterFrom(Solver other) → void
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
pop([int n = 1]) → void
push() → void
reset() → void
setParams(Params params) → void
toContext(Context c) Solver
toDimacs({bool includeNames = true}) String
toString() String
A string representation of this object.
override

Operators

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