TLabelEnumerator
Related Doc:
package automata
Enumerate all labels with overlaps removed.
Enumerate all labels with overlaps removed. E.g. for min/max labels [1,3] [5,10] [8,15] would result in [1,3] [5,7] [8,10] [11,15]
Enumerate all labels with overlaps removed such that the whole alphabet is covered (including internal characters) E.g.
Enumerate all labels with overlaps removed such that the whole alphabet is covered (including internal characters) E.g. for min/max labels [1,3] [5,10] [8,15] would result in [1,3] [4,4] [5,7] [8,10] [11,15] [15,..]
iterate over disjoint labels of the automaton that overlap with lbl
Takes disjoint enumeration and splits it at the point defined by Char.
Takes disjoint enumeration and splits it at the point defined by Char. E.g. [1,10] split at 5 is [1,4][5][6,10]
A label enumerator is used to enumerate labels appearing in an automaton and derived label sets