class documentation
This class represents a constraint of the form (L =< N), where L is a label and N is a node (a label or a hole).
This class represents a constraint of the form (L =< N), where L is a label and N is a node (a label or a hole).