Constant Field Values

Contents

• org.sosy_lab.*

org.sosy_lab.*

org.sosy_lab.java_smt.api.BasicProverEnvironment<T>

Modifier and Type	Constant Field	Value
public static final String	ASSUMPTION_SOLVING_NOT_SUPPORTED	"Solving with assumptions is not supported."
public static final String	NO_MODEL_HELP	"Model computation failed. Are the pushed formulae satisfiable?"
public static final String	UNSAT_CORE_NOT_SUPPORTED	"Unsat core extraction is not supported."
public static final String	UNSAT_CORE_WITH_ASSUMPTIONS_NOT_SUPPORTED	"Unsat core with assumptions is not supported."

org.sosy_lab.java_smt.api.FloatingPointNumber

Modifier and Type	Constant Field	Value
public static final int	DOUBLE_PRECISION_EXPONENT_SIZE	11
public static final int	DOUBLE_PRECISION_MANTISSA_SIZE	52
public static final int	SINGLE_PRECISION_EXPONENT_SIZE	8
public static final int	SINGLE_PRECISION_MANTISSA_SIZE	23

org.sosy_lab.java_smt.api.FormulaManager

Modifier and Type	Constant Field	Value
public static final String	API_METHOD_NOT_IMPLEMENTED	"The requested method is not implemented in the current implementation of this interface."

org.sosy_lab.java_smt.example.Sudoku

Modifier and Type	Constant Field	Value
public static final int	SIZE	9