Solver class
Properties
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