Module src.olaaaf.formula.binaryFormula

Representation of binary formulas, meaning formulas with 2 arguments.

Sub-modules

src.olaaaf.formula.binaryFormula.binaryFormula

Abstract class, representing a binary operator.

src.olaaaf.formula.binaryFormula.equivalenceOperator

Class representing the equivalence operator.

src.olaaaf.formula.binaryFormula.implicationOperator

Class representing the implication operator.

src.olaaaf.formula.binaryFormula.xorOperator

Class representing the XOR operator.