Uses of Class
jflex.NamedRangeSet

Uses of NamedRangeSet in jflex

Methods in jflex that return NamedRangeSet

Modifier and Type	Method and Description
NamedRangeSet	NamedRangeSet.copy() Deep copy

Methods in jflex with parameters of type NamedRangeSet

Modifier and Type	Method and Description
void	NamedRangeSet.add(NamedRangeSet other) Assumptions: ranges are disjoint, non-contiguous, and ordered.
void	NamedRangeSet.sub(NamedRangeSet other) Assumptions: ranges are disjoint, non-contiguous, and ordered.