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

Modifier and Type	Method and Description
default FormulaType<NumeralFormula.IntegerFormula>	getFormulaType()

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

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

Method Detail

getFormulaType

default FormulaType<NumeralFormula.IntegerFormula> getFormulaType()

Specified by:

getFormulaType in interface NumeralFormulaManager<NumeralFormula.IntegerFormula,NumeralFormula.IntegerFormula>