org.sosy_lab.solver.api

Interface RationalFormulaManager

All Superinterfaces:

NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>

public interface RationalFormulaManager
extends NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>

Interface for operating over NumeralFormula.RationalFormula.

Rational formulas may take both integral and rational formulas as arguments.

Method Summary

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

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