Params class
Holds parameters for various components of Z3, create one with Context.emptyParams.
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
override
-
validate(
ParamDescs descriptions) → void -
Validates the parameters against the given
descriptions.
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
-
operator []=(
String key, Object value) → void - Sets a parameter to a value.