Package org.sosy_lab.java_smt.api
Interface NumeralFormula.RationalFormula
-
- All Superinterfaces:
Formula
,NumeralFormula
- Enclosing interface:
- NumeralFormula
@Immutable public static interface NumeralFormula.RationalFormula extends NumeralFormula
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.sosy_lab.java_smt.api.NumeralFormula
NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula
-
-