Member | Description |
---|---|
unsigned long degree_in() |
Returns th number of ingoing transitions of the state associated with this tag. |
void degree_in( x) | Sets degree_in to x. |
unsigned long equivalent_to() | Returns a state (used as reference) equivalent to the one associated with this tag. (0 if none) |
void equivalent_to( x) | Sets the equivalence reference state to x. |
friend bool operator == (x,y) | Returns true if x and y have the same number of ingoing transitions and the same equivalence reference state |