public final class PaigeTarjanExtractors extends Object
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
.
Modifier and Type | Method and Description |
---|---|
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> |
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 a coarsest stable partition computation into a deterministic automaton.
|
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)
This method is designed to match the following methods from PaigeTarjanInitializers
:
PaigeTarjanInitializers#initCompleteDeterministic(PaigeTarjan, FullIntAbstraction, IntFunction,
boolean)
PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan,
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction, AutomatonInitialPartitioning,
boolean)
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
.
pt
- the partition refinement data structure, after computing the coarsest stable partitioncreator
- an AutomatonCreator
for creating the resulting automatoninputs
- the input alphabet to useabsOriginal
- the abstraction of the original automaton that was used to build the partition refinement data structurespExtractor
- the state property extractor, or null
tpExtractor
- the transition property extractor, or null
pruneUnreachable
- true
if unreachable states should be pruned during construction, false
otherwisePaigeTarjan
objectCopyright © 2020. All rights reserved.