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

Modifier and Type	Method and Description
default FormulaType<NumeralFormula.RationalFormula>	getFormulaType()

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

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

Method Detail

getFormulaType

default FormulaType<NumeralFormula.RationalFormula> getFormulaType()

Specified by:

getFormulaType in interface NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>