Uses of Interface
net.automatalib.serialization.dot.DOTInputModelDeserializer

Packages that use DOTInputModelDeserializer

Package	Description
net.automatalib.serialization.dot

Uses of DOTInputModelDeserializer in net.automatalib.serialization.dot

Classes in net.automatalib.serialization.dot that implement DOTInputModelDeserializer

Modifier and Type	Class	Description
class	DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>	General-purpose DOT parser for MutableAutomatons.

Methods in net.automatalib.serialization.dot that return DOTInputModelDeserializer

Modifier and Type	Method	Description
static DOTInputModelDeserializer<Integer,@Nullable String,CompactDFA<@Nullable String>>	DOTParsers.dfa()	Default parser for DFAs serialized by AutomataLib.
static <I> DOTInputModelDeserializer<Integer,I,CompactDFA<I>>	DOTParsers.dfa(Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for DFAs with 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)	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 DOTInputModelDeserializer<Integer,@Nullable String,CompactMealy<@Nullable String,@Nullable String>>	DOTParsers.mealy()	Default parser for MealyMachines serialized by AutomataLib.
static <I,O> DOTInputModelDeserializer<Integer,I,CompactMealy<I,O>>	DOTParsers.mealy(Function<Map<String,String>,Pair<I,O>> edgeParser)	Parser for MealyMachines with 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)	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 DOTInputModelDeserializer<Integer,@Nullable String,CompactMoore<@Nullable String,@Nullable String>>	DOTParsers.moore()	Default parser for MooreMachines serialized by AutomataLib.
static <I,O> DOTInputModelDeserializer<Integer,I,CompactMoore<I,O>>	DOTParsers.moore(Function<Map<String,String>,O> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for MooreMachines with 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)	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 DOTInputModelDeserializer<Integer,@Nullable String,CompactMTS<@Nullable String>>	DOTParsers.mts()	Default parser for ModalTransitionSystems serialized by AutomataLib.
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.
static DOTInputModelDeserializer<Integer,@Nullable String,CompactNFA<@Nullable String>>	DOTParsers.nfa()	Default parser for NFAs serialized by AutomataLib.
static <I> DOTInputModelDeserializer<Integer,I,CompactNFA<I>>	DOTParsers.nfa(Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for NFAs with custom node and edge attributes.