NumeralFormula (JavaSMT Solver Library)

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