ConfigBase class abstract

Implementers

Constructors

ConfigBase()

Properties

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

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?
operator []=(String key, String value) → void