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?
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