RationalFormulaManager (JavaSMT Solver Library)

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
  
  All Methods Instance Methods Default Methods
  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 Detail
  - getFormulaType
```
default FormulaType<NumeralFormula.RationalFormula> getFormulaType()
```
    Specified by:
    
    getFormulaType in interface NumeralFormulaManager<NumeralFormula,NumeralFormula.RationalFormula>