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	NO_MODEL_HELP	"Model computation failed. Are the pushed formulae satisfiable?"

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.example.Sudoku

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