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 |