Module src.olaaaf.formula.unaryFormula

Representation of unary formulas, meaning formulas with only one argument.

Sub-modules

src.olaaaf.formula.unaryFormula.notOperator

Class representing the Not operator.

src.olaaaf.formula.unaryFormula.unaryFormula

Abstract class, representing a unary operator.