org.sosy_lab.solver.api

Interface Formula

All Known Subinterfaces:

ArrayFormula<TI,TE>, BitvectorFormula, BooleanFormula, FloatingPointFormula, FloatingPointRoundingModeFormula, NumeralFormula, NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula

public interface Formula

An arbitrary SMT formula.