Uses of Class
laser.alphabet.event.AlphabetChangeManager

Packages that use AlphabetChangeManager
laser.alphabet Contains classes for creating and manipulating alphabets.
 
 

Uses of AlphabetChangeManager in laser.alphabet
 

Methods in laser.alphabet that return AlphabetChangeManager
 AlphabetChangeManager<L> AlphabetInterface.getChangeManager()
          Returns the AlphabetChangeManager of this alphabet.
 AlphabetChangeManager<L> Alphabet.getChangeManager()
          Returns the AlphabetChangeManager of this alphabet.