Package org.sosy_lab.java_smt.delegate.debugging

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

Constructors

Constructor	Description
DebuggingRationalFormulaManager(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, 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

Constructor Details

DebuggingRationalFormulaManager

public DebuggingRationalFormulaManager(RationalFormulaManager pDelegate,
 org.sosy_lab.java_smt.delegate.debugging.DebuggingAssertions pDebugging)