Package org.sosy_lab.java_smt.api

Interface RationalFormulaManager

All Superinterfaces:

NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>

All Known Implementing Classes:

DebuggingRationalFormulaManager

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	Description
default FormulaType<NumeralFormula.RationalFormula>	getFormulaType()

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

Method Details

getFormulaType

default FormulaType<NumeralFormula.RationalFormula> getFormulaType()

Specified by:

getFormulaType in interface NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>