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
-
Constructor Summary
ConstructorsConstructorDescriptionDebuggingRationalFormulaManager(RationalFormulaManager pDelegate, org.sosy_lab.java_smt.delegate.debugging.DebuggingAssertions pDebugging) -
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, sumMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods 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, sumMethods inherited from interface org.sosy_lab.java_smt.api.RationalFormulaManager
getFormulaType
-
Constructor Details
-
DebuggingRationalFormulaManager
public DebuggingRationalFormulaManager(RationalFormulaManager pDelegate, org.sosy_lab.java_smt.delegate.debugging.DebuggingAssertions pDebugging)
-