Class DebuggingRationalFormulaManager
- java.lang.Object
-
- org.sosy_lab.java_smt.delegate.debugging.DebuggingNumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>
-
- org.sosy_lab.java_smt.delegate.debugging.DebuggingRationalFormulaManager
-
- All Implemented Interfaces:
NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>,RationalFormulaManager
public class DebuggingRationalFormulaManager extends DebuggingNumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula> implements RationalFormulaManager
-
-
Method Summary
-
Methods inherited from class org.sosy_lab.java_smt.delegate.debugging.DebuggingNumeralFormulaManager
add, distinct, divide, equal, floor, getFormulaType, greaterOrEquals, greaterThan, lessOrEquals, lessThan, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeVariable, multiply, negate, subtract, sum
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.sosy_lab.java_smt.api.NumeralFormulaManager
add, distinct, divide, equal, floor, greaterOrEquals, greaterThan, lessOrEquals, lessThan, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeVariable, multiply, negate, subtract, sum
-
Methods inherited from interface org.sosy_lab.java_smt.api.RationalFormulaManager
getFormulaType
-
-