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

Method Summary

Methods inherited from interface org.sosy_lab.java_smt.api.Formula

equals, hashCode, toString