Uses of Interface
net.automatalib.automaton.transducer.MutableMealyMachine
-
-
Uses of MutableMealyMachine in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement MutableMealyMachine Modifier and Type Class Description class
CompactMealy<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine. -
Uses of MutableMealyMachine in net.automatalib.serialization.dot
Methods in net.automatalib.serialization.dot with type parameters of type MutableMealyMachine Modifier and Type Method Description 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 forMealyMachine
s 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 forMealyMachine
s 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 forMealyMachine
s 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. -
Uses of MutableMealyMachine in net.automatalib.util.automaton.builder
Classes in net.automatalib.util.automaton.builder with type parameters of type MutableMealyMachine Modifier and Type Class Description class
MealyBuilder<S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>>
Methods in net.automatalib.util.automaton.builder with type parameters of type MutableMealyMachine Modifier and Type Method Description static <S,I,T,O,A extends MutableMealyMachine<S,? super I,T,? super O>>
MealyBuilder<S,I,T,O,A>AutomatonBuilders. forMealy(A mealy)
-
Uses of MutableMealyMachine in net.automatalib.util.automaton.minimizer.hopcroft
Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type MutableMealyMachine Modifier and Type Method Description static <A extends MutableMealyMachine<?,I,?,O>,I,O>
AHopcroftMinimization. minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)
Minimizes the given Mealy machine. -
Uses of MutableMealyMachine in net.automatalib.util.automaton.minimizer.paigetarjan
Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type MutableMealyMachine Modifier and Type Method Description static <A extends MutableMealyMachine<?,I,?,O>,I,O>
APaigeTarjanMinimization. minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)
Minimizes the given Mealy machine. -
Uses of MutableMealyMachine in net.automatalib.util.automaton.transducer
Methods in net.automatalib.util.automaton.transducer with type parameters of type MutableMealyMachine Modifier and Type Method Description static <I,O1,O2,A extends MutableMealyMachine<?,I,?,Pair<O1,O2>>>
AMealyMachines. combine(MealyMachine<?,I,?,O1> mealy1, MealyMachine<?,I,?,O2> mealy2, Collection<? extends I> inputs, A out)
Constructs the product automaton for two Mealy Machines.static <S,I,T,O,A extends MutableMealyMachine<S,I,T,O>>
AMealyMachines. complete(MealyMachine<?,I,?,O> mealy, Collection<? extends I> inputs, O undefinedOutput, A out)
Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.Methods in net.automatalib.util.automaton.transducer with parameters of type MutableMealyMachine Modifier and Type Method Description static <I,O>
voidMutableMealyMachines. complete(MutableMealyMachine<?,I,?,O> mealy, Collection<? extends I> inputs, O undefinedOutput)
static <S,I,O>
voidMutableMealyMachines. complete(MutableMealyMachine<S,I,?,O> mealy, Collection<? extends I> inputs, O undefinedOutput, boolean minimize)
static <S1,T1,S2,I,O>
Mapping<S1,S2>MealyFilter. filterByOutput(MealyMachine<S1,I,T1,O> in, Collection<? extends I> inputs, MutableMealyMachine<S2,I,?,O> out, Predicate<? super O> outputPred)
-