Uses of Interface
net.automatalib.automaton.AutomatonCreator

Packages that use AutomatonCreator

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.transducer
net.automatalib.serialization.dot
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.automaton.random
net.automatalib.util.partitionrefinement
net.automatalib.util.ts.modal

Uses of AutomatonCreator in net.automatalib.automaton.fsa

Classes in net.automatalib.automaton.fsa that implement AutomatonCreator

Modifier and Type	Class	Description
static class	CompactDFA.Creator<I>
static class	CompactNFA.Creator<I>

Uses of AutomatonCreator in net.automatalib.automaton.transducer

Classes in net.automatalib.automaton.transducer that implement AutomatonCreator

Modifier and Type	Class	Description
static class	CompactMealy.Creator<I,O>
static class	CompactMoore.Creator<I,O>

Uses of AutomatonCreator in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot with parameters of type AutomatonCreator

Modifier and Type	Method	Description
static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A>	DOTParsers.fsa(AutomatonCreator<A,I> creator, Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for FiniteStateAcceptors with a custom automaton instance and custom node and edge attributes.
static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A>	DOTParsers.fsa(AutomatonCreator<A,I> creator, Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser, Collection<String> initialNodeIds)	Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A>	DOTParsers.fsa(AutomatonCreator<A,I> creator, Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser, Collection<String> initialNodeIds, boolean fakeInitialNodeIds)	Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes, custom labels for initial nodes and a flag whether the initial nodes are artificial.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser)	Parser for MealyMachines with a custom automaton instance and custom edge attributes.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser, String initialNodeId)	Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser, String initialNodeId, boolean fakeInitialNodeId)	Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node and a flag whether the initial nodes are artificial.
static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.moore(AutomatonCreator<A,I> creator, Function<Map<String,String>,O> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for MooreMachines with a custom automaton instance and custom node and edge attributes.
static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.moore(AutomatonCreator<A,I> creator, Function<Map<String,String>,O> nodeParser, Function<Map<String,String>,I> edgeParser, String initialNodeId)	Parser for MooreMachines with a custom automaton instance, custom node and edge attributes and a custom label for the initial node.
static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.moore(AutomatonCreator<A,I> creator, Function<Map<String,String>,O> nodeParser, Function<Map<String,String>,I> edgeParser, String initialNodeId, boolean fakeInitialNodeId)	Parser for MooreMachines with a custom automaton instance, custom node and edge attributes, a custom label for the initial node and a flag whether the initial node is artificial.
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers.
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	DOTParsers.mts(AutomatonCreator<M,I> creator, Function<Map<String,String>,I> inputParser, Function<Map<String,String>,TP> propertyParser, Collection<String> initialNodeIds)	Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers and custom initial state labels.

Constructors in net.automatalib.serialization.dot with parameters of type AutomatonCreator

Constructor	Description
DOTMutableAutomatonParser(AutomatonCreator<A,I> creator, Function<Map<String,String>,SP> nodeParser, Function<Map<String,String>,Pair<I,TP>> edgeParser, Collection<String> initialNodeIds, boolean fakeInitialNodeIds)	Parser for arbitrary MutableAutomatons with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.

Uses of AutomatonCreator in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type AutomatonCreator

Modifier and Type	Method	Description
static <A extends MutableDFA<?,I>,I> A	HopcroftMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)	Minimizes the given DFA.
static <A extends MutableMealyMachine<?,I,?,O>,I,O> A	HopcroftMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)	Minimizes the given Mealy machine.
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given automaton depending on the given partitioning function.

Uses of AutomatonCreator in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with parameters of type AutomatonCreator

Modifier and Type	Method	Description
static <A extends MutableDFA<?,I>,I> A	PaigeTarjanMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Minimizes the given DFA.
static <A extends MutableMealyMachine<?,I,?,O>,I,O> A	PaigeTarjanMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Minimizes the given Mealy machine.
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, Object sinkClassification)	Minimizes the given automaton depending on the given partitioning function.

Uses of AutomatonCreator in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random with parameters of type AutomatonCreator

Modifier and Type	Method	Description
<I,A extends MutableDeterministic<?,I,?,? super SP,? super TP>> A	RandomICAutomatonGenerator.generateICDeterministicAutomaton(int numStates, Alphabet<I> alphabet, AutomatonCreator<? extends A,I> creator, Random r)	Generates an initially-connected (IC) deterministic automaton with the given parameters.

Uses of AutomatonCreator in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement with parameters of type AutomatonCreator

Modifier and Type	Method	Description
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanExtractors.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.

Uses of AutomatonCreator in net.automatalib.util.ts.modal

Methods in net.automatalib.util.ts.modal with parameters of type AutomatonCreator

Modifier and Type	Method	Description
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> A	MTSs.compose(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> A	MTSs.conjunction(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)