Uses of Class
JFlex.Interval

Packages that use Interval

JFlex

Uses of Interval in JFlex

Methods in JFlex that return Interval

Interval	Interval.copy() Make a copy of this interval.
Interval	IntCharSet.getNext()

Methods in JFlex with parameters of type Interval

void	IntCharSet.add(Interval intervall)
boolean	Interval.contains(Interval other) Return true iff this intervall completely contains the other one.

Constructors in JFlex with parameters of type Interval

IntCharSet(Interval intervall)

Interval(Interval other)
Copy constructor