ContextConfig class

Inheritance

Properties

autoConfig bool
Whether to use heuristics to automatically select solver and configure it.
no getterinherited
debugRefCount bool
Debugging for the AST reference counter.
no getterinherited
dotProofFile File
The file to output graphical proofs.
no getterinherited
dumpModels bool
Whether to dump models whenever check-sat returns sat.
no getterinherited
encoding CharEncoding
Character encoding of the String and Unicode sorts.
getter/setter pairinherited
hashCode int
The hash code for this object.
no setterinherited
model bool
Whether model generation is enabled.
no getterinherited
modelValidate bool
Whether models should be validated after solving.
no getterinherited
proof bool
Whether proofs can be constructed.
no getterinherited
rlimit int
Resource limit on solver, resources are counted arbitrarily by the solver but should always be consumed over time.
no getterinherited
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
smtlib2Compliant bool
Enables strict compliance with the SMT-LIB 2.0 standard.
no getterinherited
stats bool
Whether to enable statistics.
no getterinherited
timeout Duration
The maximum amount of time to spend searching for a solution.
no getterinherited
trace bool
Whether to log trace messages.
no getterinherited
traceFileName File
What file to store the trace messages in.
no getterinherited
typeCheck bool
Whether to do type checking.
no getterinherited
unsatCore bool
Whether we can obtain unsatisfiable cores with get-unsat-core.
no getterinherited
wellSortedCheck bool
Whether to do type checking, same as typeCheck.
no getterinherited

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
inherited

Operators

operator ==(Object other) bool
The equality operator.
inherited
operator [](String key) String?
inherited
operator []=(String key, String value) → void
override