org.sosy_lab.solver.api

Interface IntegerFormulaManager

All Superinterfaces:

NumeralFormulaManager<NumeralFormula.IntegerFormula,NumeralFormula.IntegerFormula>

public interface IntegerFormulaManager
extends NumeralFormulaManager<NumeralFormula.IntegerFormula,NumeralFormula.IntegerFormula>

Interface which operates over NumeralFormula.IntegerFormulas.

Integer formulas always take integral formulas as arguments.

Method Summary

Methods inherited from interface org.sosy_lab.solver.api.NumeralFormulaManager

add, divide, equal, getFormulaType, greaterOrEquals, greaterThan, lessOrEquals, lessThan, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeNumber, makeVariable, modularCongruence, modulo, multiply, negate, subtract, sum