org.sosy_lab.java_smt.delegating.locking

Class SynchronizedRationalFormulaManager

java.lang.Object

org.sosy_lab.java_smt.delegating.locking.SynchronizedNumeralFormulaManager<RationalFormulaManager,NumeralFormula,NumeralFormula.RationalFormula>

org.sosy_lab.java_smt.delegating.locking.SynchronizedRationalFormulaManager

All Implemented Interfaces:

NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>, RationalFormulaManager

public class SynchronizedRationalFormulaManager
extends SynchronizedNumeralFormulaManager<RationalFormulaManager,NumeralFormula,NumeralFormula.RationalFormula>
implements RationalFormulaManager

Field Summary

Fields

Modifier and Type	Field and Description
protected T	delegate
protected Object	sync

Method Summary

Methods inherited from class org.sosy_lab.java_smt.delegating.locking.SynchronizedNumeralFormulaManager

add, divide, equal, 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.RationalFormulaManager

getFormulaType

Methods inherited from interface org.sosy_lab.java_smt.api.NumeralFormulaManager

add, divide, equal, greaterOrEquals, greaterThan, lessOrEquals, lessThan, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeVariable, multiply, negate, subtract, sum

Field Detail

delegate

protected final T delegate

sync

protected final Object sync