org.sosy_lab.solver.api

Interface NumeralFormula

All Superinterfaces:

Formula

All Known Subinterfaces:

NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula

public interface NumeralFormula
extends Formula

Formulas of any numeral sort.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	NumeralFormula.IntegerFormula
static interface	NumeralFormula.RationalFormula