Package net.automatalib.serialization.dot

Class DOTParsers

java.lang.Object

net.automatalib.serialization.dot.DOTParsers

public final class DOTParsers
extends Object

An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.

Field Summary

Fields

Modifier and Type	Field	Description
static Function<Map<String,String>,@Nullable String>	DEFAULT_EDGE_PARSER	Edge input parser that parses an edge's "label" attribute and returns its string representation.
static Function<Map<String,String>,Boolean>	DEFAULT_FSA_NODE_PARSER	Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle".
static Function<Map<String,String>,Pair<@Nullable String,@Nullable String>>	DEFAULT_MEALY_EDGE_PARSER	Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>.
static Function<Map<String,String>,@Nullable String>	DEFAULT_MOORE_NODE_PARSER	Node property parser that expects a node's "label" attribute to be of the form <id>/<property>.
static Function<Map<String,String>,MutableModalEdgeProperty>	DEFAULT_MTS_EDGE_PARSER	Edge input parser that parses an edge's modality attribute and constructs a corresponding MutableModalEdgeProperty.
static Function<Map<String,String>,@Nullable String>	DEFAULT_NODE_PARSER	Node property parser that parses a node's "label" attribute and returns its string representation.

Method Summary

Modifier and Type	Method	Description
static DOTInputModelDeserializer<Integer,@Nullable String,CompactDFA<@Nullable String>>	dfa()	Default parser for DFAs serialized by AutomataLib.
static <I> DOTInputModelDeserializer<Integer,I,CompactDFA<I>>	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>	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>	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>	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 ModelDeserializer<CompactGraph<@Nullable String,@Nullable String>>	graph()	Default parser for (directed) Graphs serialized by AutomataLib.
static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>>	graph(Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)	Parser for (directed) Graphs with custom node and edge attributes.
static <NP,EP,G extends MutableGraph<?,?,NP,EP>> ModelDeserializer<G>	graph(Supplier<G> creator, Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)	Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.
static DOTInputModelDeserializer<Integer,@Nullable String,CompactMealy<@Nullable String,@Nullable String>>	mealy()	Default parser for MealyMachines serialized by AutomataLib.
static <I,O> DOTInputModelDeserializer<Integer,I,CompactMealy<I,O>>	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>	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>	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>	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>>	moore()	Default parser for MooreMachines serialized by AutomataLib.
static <I,O> DOTInputModelDeserializer<Integer,I,CompactMoore<I,O>>	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>	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>	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>	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>>	mts()	Default parser for ModalTransitionSystems serialized by AutomataLib.
static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M>	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>	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>>	nfa()	Default parser for NFAs serialized by AutomataLib.
static <I> DOTInputModelDeserializer<Integer,I,CompactNFA<I>>	nfa(Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)	Parser for NFAs with custom node and edge attributes.

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_NODE_PARSER

public static final Function<Map<String,String>,@Nullable String> DEFAULT_NODE_PARSER

Node property parser that parses a node's "label" attribute and returns its string representation. Returns null if the attribute is not specified.

DEFAULT_FSA_NODE_PARSER

public static final Function<Map<String,String>,Boolean> DEFAULT_FSA_NODE_PARSER

Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle". Returns false otherwise.

DEFAULT_MOORE_NODE_PARSER

public static final Function<Map<String,String>,@Nullable String> DEFAULT_MOORE_NODE_PARSER

Node property parser that expects a node's "label" attribute to be of the form <id>/<property>. Returns the string representation of <property> as-is. Returns null if the attribute does not exist or does not match the expected format.

DEFAULT_EDGE_PARSER

public static final Function<Map<String,String>,@Nullable String> DEFAULT_EDGE_PARSER

Edge input parser that parses an edge's "label" attribute and returns its string representation. Returns null if the attribute is not specified.

DEFAULT_MEALY_EDGE_PARSER

public static final Function<Map<String,String>,Pair<@Nullable String,@Nullable String>> DEFAULT_MEALY_EDGE_PARSER

Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>. Returns a Pair object containing the string representation of both components as-is. Returns null if the attribute does not exist or does not match the expected format.

DEFAULT_MTS_EDGE_PARSER

public static final Function<Map<String,String>,MutableModalEdgeProperty> DEFAULT_MTS_EDGE_PARSER

Edge input parser that parses an edge's modality attribute and constructs a corresponding MutableModalEdgeProperty. Throws an IllegalArgumentException if the attribute is missing or doesn't match its expected format.

Method Detail

dfa

public static DOTInputModelDeserializer<Integer,@Nullable String,CompactDFA<@Nullable String>> dfa()

Default parser for DFAs serialized by AutomataLib.

Invokes dfa(Function, Function) with DEFAULT_FSA_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOTInputModelDeserializer for CompactDFAs.

dfa

public static <I> DOTInputModelDeserializer<Integer,I,CompactDFA<I>> dfa(Function<Map<String,String>,Boolean> nodeParser,
                                                                                     Function<Map<String,String>,I> edgeParser)

Parser for DFAs with custom node and edge attributes.

Invokes fsa(AutomatonCreator, Function, Function) with CompactDFA.Creator as creator.

Type Parameters:

I - the input symbol type

Parameters:

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

Returns:

a DOTInputModelDeserializer for CompactDFAs.

nfa

public static DOTInputModelDeserializer<Integer,@Nullable String,CompactNFA<@Nullable String>> nfa()

Default parser for NFAs serialized by AutomataLib.

Invokes nfa(Function, Function) with DEFAULT_FSA_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOTInputModelDeserializer for CompactNFAs.

nfa

public static <I> DOTInputModelDeserializer<Integer,I,CompactNFA<I>> nfa(Function<Map<String,String>,Boolean> nodeParser,
                                                                                     Function<Map<String,String>,I> edgeParser)

Parser for NFAs with custom node and edge attributes.

Invokes fsa(AutomatonCreator, Function, Function) with CompactNFA.Creator as creator.

Type Parameters:

I - the input symbol type

Parameters:

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

Returns:

a DOTInputModelDeserializer for CompactNFAs.

fsa

public static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A> 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.

Invokes fsa(AutomatonCreator, Function, Function, Collection) with AutomataLib's default initial state label "__start0" as initialNodeLabels.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

Returns:

a DOTInputModelDeserializer for As.

fsa

public static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A> 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.

Invokes fsa(AutomatonCreator, Function, Function, Collection, boolean) with true as fakeInitialNodeLabels.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

initialNodeIds - the ids of the initial nodes

Returns:

a DOTInputModelDeserializer for As.

fsa

public static <S,I,A extends MutableFSA<S,I>> DOTInputModelDeserializer<S,I,A> 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.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that decides for a property map of a node whether it is accepting or not

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

initialNodeIds - the ids of the initial nodes

fakeInitialNodeIds - a flag indicating whether the initialNodeIds are artificial or not. If true, the nodes matching the initialNodeIds will not be added to the automaton. Instead, their direct successors will be initial states instead. This may be useful for instances where there are artificial nodes used to display in incoming arrow for the actual initial states. If false, the nodes matching the initialNodeIds will be used as initial nodes.

Returns:

a DOTInputModelDeserializer for As.

mealy

public static DOTInputModelDeserializer<Integer,@Nullable String,CompactMealy<@Nullable String,@Nullable String>> mealy()

Default parser for MealyMachines serialized by AutomataLib.

Invokes mealy(Function) with DEFAULT_MEALY_EDGE_PARSER as edgeParser.

Returns:

a DOTInputModelDeserializer for CompactMealys.

mealy

public static <I,O> DOTInputModelDeserializer<Integer,I,CompactMealy<I,O>> mealy(Function<Map<String,String>,Pair<I,O>> edgeParser)

Parser for MealyMachines with custom edge attributes.

Invokes mealy(AutomatonCreator, Function) with CompactMealy.Creator as creator.

Type Parameters:

I - the input symbol type

O - the output symbol type

Parameters:

edgeParser - an edge parser that extracts from a property map of an edge the input symbol and transition property

Returns:

a DOTInputModelDeserializer for CompactMealys.

mealy

public static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Invokes mealy(AutomatonCreator, Function, String) with AutomataLib's default initial state label " __start0" as initialNodeLabel.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

edgeParser - an edge parser that extracts from a property map of an edge the input symbol and transition property

Returns:

a DOTInputModelDeserializer for As.

mealy

public static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Invokes fsa(AutomatonCreator, Function, Function, Collection, boolean) with true as fakeInitialNodeLabels.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

edgeParser - an edge parser that extracts from a property map of an edge the input symbol and transition property

initialNodeId - the id of the initial node

Returns:

a DOTInputModelDeserializer for As.

mealy

public static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

edgeParser - an edge parser that extracts from a property map of an edge the input symbol and transition property

initialNodeId - the id of the initial node

fakeInitialNodeId - a flag indicating whether the initialNodeId are artificial or not. If true, the nodes matching the initialNodeId will not be added to the automaton. Instead, their direct successors will be initial states instead. This may be useful for instances where there are artificial nodes used to display in incoming arrow for the actual initial states. If false, the nodes matching the initialNodeId will be used as initial nodes.

Returns:

a DOTInputModelDeserializer for As.

moore

public static DOTInputModelDeserializer<Integer,@Nullable String,CompactMoore<@Nullable String,@Nullable String>> moore()

Default parser for MooreMachines serialized by AutomataLib.

Invokes moore(Function, Function) with DEFAULT_MOORE_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOTInputModelDeserializer for CompactMoores.

moore

public static <I,O> DOTInputModelDeserializer<Integer,I,CompactMoore<I,O>> moore(Function<Map<String,String>,O> nodeParser,
                                                                                                         Function<Map<String,String>,I> edgeParser)

Parser for MooreMachines with custom node and edge attributes.

Invokes moore(AutomatonCreator, Function, Function) with CompactMoore.Creator as creator.

Type Parameters:

I - the input symbol type

O - the output symbol type

Parameters:

nodeParser - a node parser that extracts from a property map of a node the state property

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

Returns:

a DOTInputModelDeserializer for CompactMoores.

moore

public static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Invokes moore(AutomatonCreator, Function, Function, String) with AutomataLib's default initial state label "__start0" as initialNodeLabel.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that extracts from a property map of a node the state property

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

Returns:

a DOTInputModelDeserializer for As.

moore

public static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Invokes moore(AutomatonCreator, Function, Function, String, boolean) with true as fakeInitialNodeLabel.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that extracts from a property map of a node the state property

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

initialNodeId - the id of the initial node

Returns:

a DOTInputModelDeserializer for As.

moore

public static <S,I,O,A extends MutableMooreMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A> 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.

Type Parameters:

S - the state type of the returned automaton

I - the input symbol type

O - the output symbol type

A - the type of the returned automaton

Parameters:

creator - a creator that is used to instantiate the returned automaton

nodeParser - a node parser that extracts from a property map of a node the state property

edgeParser - an edge parser that extracts from a property map of an edge the input symbol

initialNodeId - the id of the initial node

fakeInitialNodeId - a flag indicating whether the initialNodeId are artificial or not. If true, the nodes matching the initialNodeId will not be added to the automaton. Instead, their direct successors will be initial states instead. This may be useful for instances where there are artificial nodes used to display in incoming arrow for the actual initial states. If false, the nodes matching the initialNodeId will be used as initial nodes.

Returns:

a DOTInputModelDeserializer for As.

graph

public static ModelDeserializer<CompactGraph<@Nullable String,@Nullable String>> graph()

Default parser for (directed) Graphs serialized by AutomataLib.

Invokes graph(Function, Function) with DEFAULT_NODE_PARSER as nodeParser and DEFAULT_EDGE_PARSER as edgeParser.

Returns:

a DOT ModelDeserializer for CompactGraphs.

graph

public static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>> graph(Function<Map<String,String>,NP> nodeParser,
                                                                               Function<Map<String,String>,EP> edgeParser)

Parser for (directed) Graphs with custom node and edge attributes.

Invokes graph(Supplier, Function, Function) with CompactGraph() as creator.

Type Parameters:

NP - the node property type

EP - the edge property type

Parameters:

nodeParser - a node parser that extracts from a property map of a node the node property

edgeParser - an edge parser that extracts from a property map of an edge the edge property

Returns:

a DOT ModelDeserializer for CompactGraphs.

graph

public static <NP,EP,G extends MutableGraph<?,?,NP,EP>> ModelDeserializer<G> graph(Supplier<G> creator,
                                                                                                                 Function<Map<String,String>,NP> nodeParser,
                                                                                                                 Function<Map<String,String>,EP> edgeParser)

Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.

Type Parameters:

NP - the node property type

EP - the edge property type

G - the graph type

Parameters:

creator - a creator that is used to instantiate the returned graph

nodeParser - a node parser that extracts from a property map of a node the node property

edgeParser - an edge parser that extracts from a property map of an edge the edge property

Returns:

a DOT ModelDeserializer for Gs.

mts

public static DOTInputModelDeserializer<Integer,@Nullable String,CompactMTS<@Nullable String>> mts()

Default parser for ModalTransitionSystems serialized by AutomataLib.

Invokes mts(AutomatonCreator, Function, Function) with CompactMTS(Alphabet) as creator, DEFAULT_EDGE_PARSER as inputParser and DEFAULT_EDGE_PARSER as propertyParser.

Returns:

a DOTInputModelDeserializer for CompactMTSs.

mts

public static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M> 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.

Invokes mts(AutomatonCreator, Function, Function, Collection) with AutomataLib's default initial state label "__start0" as initialNodeLabel.

Type Parameters:

S - the state type of the returned MTS

I - the input symbol type

TP - the modal transition property

M - the type of the returned MTS

Parameters:

creator - a creator that is used to instantiate the returned graph

inputParser - an edge parser that extracts from a property map of an edge the input symbol

propertyParser - an edge parser that extracts from a property map of an edge the modal transition property

Returns:

a DOT ModelDeserializer for Ms.

mts

public static <S,I,TP extends MutableModalEdgeProperty,M extends MutableModalTransitionSystem<S,I,?,TP>> DOTInputModelDeserializer<S,I,M> 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.

Type Parameters:

S - the state type of the returned MTS

I - the input symbol type

TP - the modal transition property

M - the type of the returned MTS

Parameters:

creator - a creator that is used to instantiate the returned graph

inputParser - an edge parser that extracts from a property map of an edge the input symbol

propertyParser - an edge parser that extracts from a property map of an edge the modal transition property

initialNodeIds - the ids of the initial nodes

Returns:

a DOT ModelDeserializer for Ms.