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