Uses of Package
net.automatalib.util.partitionrefinement
-
Classes in net.automatalib.util.partitionrefinement used by net.automatalib.util.automaton.minimizer.hopcroft Class Description AutomatonInitialPartitioning This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure. -
Classes in net.automatalib.util.partitionrefinement used by net.automatalib.util.automaton.minimizer.paigetarjan Class Description AutomatonInitialPartitioning This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure. -
Classes in net.automatalib.util.partitionrefinement used by net.automatalib.util.partitionrefinement Class Description AutomatonInitialPartitioning This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure.Block A block (i.e., partition class) that is maintained during the Paige/Tarjan partition refinement algorithm (seePaigeTarjan).PaigeTarjan An implementation of the Paige/Tarjan partition refinement algorithm.PaigeTarjan.WorklistPolicy Determines how the worklist is managed, i.e., where newly created blocks are inserted.StateSignature Utility class for constructing state signatures used for classifying states duringPaigeTarjanInitializers.