ContextConfig class
The configuration for a Context.
- Inheritance
-
- Object
- ConfigBase
- ContextConfig
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? -
The value of the given key, if overridden.
inherited
-
operator []=(
String key, String value) → void -
Manually override a config value.
override