Package net.automatalib.util.partitionrefinement

Class PaigeTarjanExtractors

java.lang.Object

net.automatalib.util.partitionrefinement.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.

Method Summary

Modifier and Type	Method	Description
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	toDeterministic(PaigeTarjan pt, AutomatonCreator<A,I> creator, Alphabet<I> inputs, SimpleDeterministicAutomaton.FullIntAbstraction absOriginal, IntFunction<? extends SP> spExtractor, BiIntFunction<? extends TP> tpExtractor, boolean pruneUnreachable)	Translates the results of the coarsest stable partition computation into a deterministic automaton.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

toDeterministic

public static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A toDeterministic(PaigeTarjan pt,
                                                                                                                                AutomatonCreator<A,I> creator,
                                                                                                                                Alphabet<I> inputs,
                                                                                                                                SimpleDeterministicAutomaton.FullIntAbstraction absOriginal,
                                                                                                                                IntFunction<? extends SP> spExtractor,
                                                                                                                                BiIntFunction<? extends TP> tpExtractor,
                                                                                                                                boolean pruneUnreachable)

Translates the results of the coarsest stable partition computation into a deterministic automaton.

This method is designed to match the following methods from PaigeTarjanInitializers:

• PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan, FullIntAbstraction, IntFunction, boolean)
• PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan, net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction, AutomatonInitialPartitioning, boolean)
• and PaigeTarjanInitializers.initDeterministic(PaigeTarjan, FullIntAbstraction, IntFunction, Object) if called with pruneUnreachable = true.

Both the spExtractor and the tpExtractor can be null, in which case they are replaced by a function always returning null.

Parameters:

pt - the partition refinement data structure, after computing the coarsest stable partition

creator - an AutomatonCreator for creating the resulting automaton

inputs - the input alphabet to use

absOriginal - the abstraction of the original automaton that was used to build the partition refinement data structure

spExtractor - the state property extractor, or null

tpExtractor - the transition property extractor, or null

pruneUnreachable - true if unreachable states should be pruned during construction, false otherwise

Returns:

an automaton created using the specified creator, over the specified input alphabet, and reflecting the partition data of the specified PaigeTarjan object