Module src.olaaaf.formula.nullaryFormula.constraint.constraint

Abstract Constraint class, representing a Constraint in PCMLC.

Classes

class Constraint

Abstract Constraint class, representing a Constraint in PCMLC.

Attributes

children : None
The children of the current node. Since a cosntraint doesn't have any, it's None.
Expand source code 
class Constraint(NullaryFormula):
    '''
    Abstract Constraint class, representing a Constraint in PCMLC.

    Attributes
    ----------
    children: None
        The children of the current node.
        Since a cosntraint doesn't have any, it's None.
    '''

Ancestors

Subclasses

Inherited members