-
- All Implemented Interfaces:
-
io.ksmt.solver.KSolverConfiguration
public interface KZ3SolverConfiguration implements KSolverConfiguration
-
-
Method Summary
Modifier and Type Method Description abstract UnitsetZ3Option(String option, Boolean value)abstract UnitsetZ3Option(String option, Integer value)abstract UnitsetZ3Option(String option, Double value)abstract UnitsetZ3Option(String option, String value)UnitsetBoolParameter(String param, Boolean value)UnitsetIntParameter(String param, Integer value)UnitsetStringParameter(String param, String value)UnitsetDoubleParameter(String param, Double value)-
-
Method Detail
-
setZ3Option
abstract Unit setZ3Option(String option, Boolean value)
-
setZ3Option
abstract Unit setZ3Option(String option, Integer value)
-
setZ3Option
abstract Unit setZ3Option(String option, Double value)
-
setZ3Option
abstract Unit setZ3Option(String option, String value)
-
setBoolParameter
Unit setBoolParameter(String param, Boolean value)
-
setIntParameter
Unit setIntParameter(String param, Integer value)
-
setStringParameter
Unit setStringParameter(String param, String value)
-
setDoubleParameter
Unit setDoubleParameter(String param, Double value)
-
-
-
-