ConfigBase class abstract
Base class for configs used to configure a Context.
- Implementers
Constructors
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? - The value of the given key, if overridden.
-
operator []=(
String key, String value) → void - Manually override a config value.