Module src.olaaaf.formula.nullaryFormula

Representation of nullary formulas, meaning formulas with no arguments.

Sub-modules

src.olaaaf.formula.nullaryFormula.bottom

Class representing the Bottom constant.

src.olaaaf.formula.nullaryFormula.constraint

Representation of constraints and useful classes.

src.olaaaf.formula.nullaryFormula.nullaryFormula

Abstract class, representing a Node with an arity of 0, i.e. without any children.

src.olaaaf.formula.nullaryFormula.top

Class representing the Top constant.