org.sosy_lab.solver.api

Interface NumeralFormula.RationalFormula

All Superinterfaces:

Formula, NumeralFormula

Enclosing interface:

NumeralFormula

public static interface NumeralFormula.RationalFormula
extends NumeralFormula

Nested Class Summary

Nested classes/interfaces inherited from interface org.sosy_lab.solver.api.NumeralFormula

NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula