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