Module src.olaaaf.formula.naryFormula

Representation of $n$-ary formulas, meaning formulas with $n$ arguments.

Sub-modules

src.olaaaf.formula.naryFormula.andOperator

Class representing the And operator as a relation with an arity equal or greater than 1 in PCMLC as a syntax tree.

src.olaaaf.formula.naryFormula.naryFormula

Abstract class, representing an operator with an arity equal or greater than 1 in PCMLC as a syntax tree. The operator is asummed symmetric.

src.olaaaf.formula.naryFormula.orOperator

Class representing the Or operator as a relation with an arity equal or greater than 1 in PCMLC as a syntax tree.