org.sosy_lab.solver.api

Interface NumeralFormula.IntegerFormula

All Superinterfaces:

Formula, NumeralFormula

Enclosing interface:

NumeralFormula

public static interface NumeralFormula.IntegerFormula
extends NumeralFormula

Nested Class Summary

Nested classes/interfaces inherited from interface org.sosy_lab.solver.api.NumeralFormula

NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula