All Implemented Interfaces:: io.ksmt.solver.KSolverConfiguration , io.ksmt.solver.z3.KZ3SolverConfiguration


public final class KZ3SolverConfigurationImpl
 implements KZ3SolverConfiguration

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description

Constructors
Constructor	Description
`KZ3SolverConfigurationImpl(Params params)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`Unit`	`setZ3Option(String option, Boolean value)`
`Unit`	`setZ3Option(String option, Integer value)`
`Unit`	`setZ3Option(String option, Double value)`
`Unit`	`setZ3Option(String option, String value)`

Methods inherited from class io.ksmt.solver.z3.KZ3SolverConfiguration
setBoolParameter, setDoubleParameter, setIntParameter, setStringParameter
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- KZ3SolverConfigurationImpl
```
KZ3SolverConfigurationImpl(Params params)
```

 Unit setZ3Option(String option, Boolean value)

 Unit setZ3Option(String option, Integer value)

 Unit setZ3Option(String option, Double value)

 Unit setZ3Option(String option, String value)

Class KZ3SolverConfigurationImpl