Class PaigeTarjanExtractors


  • public final class PaigeTarjanExtractors
    extends Object
    This class provides methods for translating the result of a PaigeTarjan coarsest stable partition computation into several common, more usable forms such as automata.

    Most of the methods defined in this class expect the partition data to be in a certain form, and moreover may require additional information, both of which is provided by corresponding methods defined in PaigeTarjanInitializers.