Optimize class
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
-
add(
AST a, {Expr? constant}) → void -
addSmtlib(
String str) → void -
addSmtlibFile(
File file) → void -
addSoft(
AST a, {required Rat weight, required Sym id}) → int -
check(
[List< AST> assumptions = const []]) → bool? -
ensureSat(
) → Model -
ensureUnsat(
) → void -
getAssertions(
) → List< Expr> -
getHelp(
) → String -
getModel(
) → Model -
getObjectives(
) → List< OptimizeObjective> -
getParamDescriptions(
) → ParamDescs -
getReasonUnknown(
) → String -
getStats(
) → Stats -
getUnsatCore(
) → List< Expr> -
maximize(
AST a) → int -
minimize(
AST a) → int -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
pop(
) → void -
push(
) → void -
setParams(
Params params) → void -
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited