org.sosy_lab.java_smt.api

Interface NumeralFormula

All Superinterfaces:

Formula

All Known Subinterfaces:

NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula

@Immutable
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

Method Summary

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

equals, hashCode, toString