Module src.olaaaf.formula.nullaryFormula.constraint

Representation of constraints and useful classes.

Sub-modules

src.olaaaf.formula.nullaryFormula.constraint.constraint

Abstract Constraint class, representing a Constraint in PCMLC.

src.olaaaf.formula.nullaryFormula.constraint.constraintOperator

Reprensation of the Constraint operators

src.olaaaf.formula.nullaryFormula.constraint.enumeratedType

Representation of an enumerated Type.

src.olaaaf.formula.nullaryFormula.constraint.linearConstraint

Representation of a LinearConstraint in PCMLC.

src.olaaaf.formula.nullaryFormula.constraint.propositionalVariable

Representation of a Propositional Variable in CPC.