Package jflex.chars

Class Summary

Class	Description
Interval	A mutable interval of characters with basic operations.