Index (AutomataLib :: Serialization

A C D E F G I M N P R S T W
All Classes All Packages

A

AggregateDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot
AggregateDOTVisualizationHelper(List<? extends DOTVisualizationHelper<N, ? super E>>) - Constructor for class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper
attributes - Variable in class net.automatalib.serialization.dot.Edge
attributes - Variable in class net.automatalib.serialization.dot.Node

C

currentToken - Variable in exception net.automatalib.serialization.dot.ParseException: This is the last token that has been consumed successfully.

D

DEFAULT_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Edge input parser that parses an edge's "label" attribute and returns its string representation.
DEFAULT_FSA_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Node property parser that returns true if a node's "shape" attribute is specified and equals "doublecircle".
DEFAULT_MEALY_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>.
DEFAULT_MOORE_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Node property parser that expects a node's "label" attribute to be of the form <id>/<property>.
DEFAULT_MTS_EDGE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Edge input parser that parses an edge's modality attribute and constructs a corresponding MutableModalEdgeProperty.
DEFAULT_NODE_PARSER - Static variable in class net.automatalib.serialization.dot.DOTParsers: Node property parser that parses a node's "label" attribute and returns its string representation.
DefaultDOTVisualizationHelper<N,E> - Class in net.automatalib.serialization.dot
DefaultDOTVisualizationHelper() - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
DefaultDOTVisualizationHelper(VisualizationHelper<N, ? super E>) - Constructor for class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
dfa() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for DFAs serialized by AutomataLib.
dfa(Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for DFAs with custom node and edge attributes.
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>> - Class in net.automatalib.serialization.dot: General-purpose DOT parser for MutableGraphs.
DOTGraphParser(Supplier<G>, Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Constructor for class net.automatalib.serialization.dot.DOTGraphParser: Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.
DOTInputModelData<S,I,M extends SimpleTS<S,I>> - Class in net.automatalib.serialization.dot: A utility data class, that extends InputModelData by labeling information of the model's states.
DOTInputModelData(M, Alphabet<I>, Mapping<S, String>) - Constructor for class net.automatalib.serialization.dot.DOTInputModelData
DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>> - Interface in net.automatalib.serialization.dot: A specialization of the InputModelDeserializer that returns a DOTInputModelData object which holds additional information about the state labels of the de-serialized automaton.
DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>> - Class in net.automatalib.serialization.dot: General-purpose DOT parser for MutableAutomatons.
DOTMutableAutomatonParser(AutomatonCreator<A, I>, Function<Map<String, String>, SP>, Function<Map<String, String>, Pair<I, TP>>, Collection<String>, boolean) - Constructor for class net.automatalib.serialization.dot.DOTMutableAutomatonParser: Parser for arbitrary MutableAutomatons with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
DOTParsers - Class in net.automatalib.serialization.dot: An aggregation of factory methods for obtaining DOT parsers for several types of automata / graphs.
DOTSerializationProvider<N,E> - Class in net.automatalib.serialization.dot
DOTVisualizationHelper<N,E> - Interface in net.automatalib.serialization.dot: Extension to the VisualizationHelper interface for DOT specific methods.

E

Edge - Class in net.automatalib.serialization.dot: A utility class to aggregate information of an edge of a DOT graph.
Edge(String, String, Map<String, String>) - Constructor for class net.automatalib.serialization.dot.Edge
EOL - Static variable in exception net.automatalib.serialization.dot.ParseException: The end of line string for this machine.
expectedTokenSequences - Variable in exception net.automatalib.serialization.dot.ParseException: Each entry in this array is an array of integers.

F

fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for FiniteStateAcceptors with a custom automaton instance and custom node and edge attributes.
fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>, Collection<String>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for FiniteStateAcceptors with a custom automaton instance, custom node and edge attributes and custom labels for the initial nodes.
fsa(AutomatonCreator<A, I>, Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>, Collection<String>, boolean) - Static method in class net.automatalib.serialization.dot.DOTParsers: 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.

G

getEdgeProperties(N, E, N, Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
getGlobalEdgeProperties(Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
getGlobalNodeProperties(Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
getInstance() - Static method in class net.automatalib.serialization.dot.DOTSerializationProvider
getNodeProperties(N, Map<String, String>) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
graph() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for (directed) Graphs serialized by AutomataLib.
graph(Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for (directed) Graphs with custom node and edge attributes.
graph(Supplier<G>, Function<Map<String, String>, NP>, Function<Map<String, String>, EP>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.
GraphDOT - Class in net.automatalib.serialization.dot: Methods for rendering a Graph or Automaton in the GraphVIZ DOT format.

I

id - Variable in class net.automatalib.serialization.dot.Node
initialLabel(int) - Static method in class net.automatalib.serialization.dot.GraphDOT
initialLabel(String, int) - Static method in class net.automatalib.serialization.dot.GraphDOT

M

mealy() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for MealyMachines serialized by AutomataLib.
mealy(Function<Map<String, String>, Pair<I, O>>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MealyMachines with custom edge attributes.
mealy(AutomatonCreator<A, I>, Function<Map<String, String>, Pair<I, O>>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MealyMachines with a custom automaton instance and custom edge attributes.
mealy(AutomatonCreator<A, I>, Function<Map<String, String>, Pair<I, O>>, String) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node.
mealy(AutomatonCreator<A, I>, Function<Map<String, String>, Pair<I, O>>, String, boolean) - Static method in class net.automatalib.serialization.dot.DOTParsers: 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.
moore() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for MooreMachines serialized by AutomataLib.
moore(Function<Map<String, String>, O>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MooreMachines with custom node and edge attributes.
moore(AutomatonCreator<A, I>, Function<Map<String, String>, O>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MooreMachines with a custom automaton instance and custom node and edge attributes.
moore(AutomatonCreator<A, I>, Function<Map<String, String>, O>, Function<Map<String, String>, I>, String) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for MooreMachines with a custom automaton instance, custom node and edge attributes and a custom label for the initial node.
moore(AutomatonCreator<A, I>, Function<Map<String, String>, O>, Function<Map<String, String>, I>, String, boolean) - Static method in class net.automatalib.serialization.dot.DOTParsers: 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.
mts() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for ModalTransitionSystems serialized by AutomataLib.
mts(AutomatonCreator<M, I>, Function<Map<String, String>, I>, Function<Map<String, String>, TP>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers.
mts(AutomatonCreator<M, I>, Function<Map<String, String>, I>, Function<Map<String, String>, TP>, Collection<String>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for ModalTransitionSystems with a custom MTS instance, custom input type and edge attributes parsers and custom initial state labels.

N

net.automatalib.serialization.dot - package net.automatalib.serialization.dot
nfa() - Static method in class net.automatalib.serialization.dot.DOTParsers: Default parser for NFAs serialized by AutomataLib.
nfa(Function<Map<String, String>, Boolean>, Function<Map<String, String>, I>) - Static method in class net.automatalib.serialization.dot.DOTParsers: Parser for NFAs with custom node and edge attributes.
Node - Class in net.automatalib.serialization.dot: A utility class to aggregate information of a node of a DOT graph.
Node(String, Map<String, String>) - Constructor for class net.automatalib.serialization.dot.Node

P

ParseException - Exception in net.automatalib.serialization.dot: This exception is thrown when parse errors are encountered.
ParseException() - Constructor for exception net.automatalib.serialization.dot.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception net.automatalib.serialization.dot.ParseException: Constructor with message.
ParseException(Token, int[][], String[]) - Constructor for exception net.automatalib.serialization.dot.ParseException: This constructor is used by the method "generateParseException" in the generated parser.

R

readModel(byte[]) - Method in interface net.automatalib.serialization.dot.DOTInputModelDeserializer
readModel(File) - Method in interface net.automatalib.serialization.dot.DOTInputModelDeserializer
readModel(InputStream) - Method in class net.automatalib.serialization.dot.DOTGraphParser
readModel(InputStream) - Method in interface net.automatalib.serialization.dot.DOTInputModelDeserializer
readModel(InputStream) - Method in class net.automatalib.serialization.dot.DOTMutableAutomatonParser
readModel(URL) - Method in interface net.automatalib.serialization.dot.DOTInputModelDeserializer

S

src - Variable in class net.automatalib.serialization.dot.Edge
stateLabels - Variable in class net.automatalib.serialization.dot.DOTInputModelData

T

tgt - Variable in class net.automatalib.serialization.dot.Edge
toDOTVisualizationHelper(List<VisualizationHelper<N, ? super E>>) - Static method in class net.automatalib.serialization.dot.GraphDOT
toDOTVisualizationHelper(VisualizationHelper<N, E>) - Static method in class net.automatalib.serialization.dot.GraphDOT
tokenImage - Variable in exception net.automatalib.serialization.dot.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

W

write(List<Graph<?, ?>>, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders a list of Graphs as clusters (subgraphs) in the GraphVIZ DOT format.
write(Automaton<S, I, T>, Collection<? extends I>, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders an Automaton in the GraphVIZ DOT format.
write(Automaton<S, I, T>, Collection<? extends I>, Appendable, List<VisualizationHelper<S, ? super TransitionEdge<I, T>>>) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders an Automaton in the GraphVIZ DOT format.
write(Automaton<S, I, T>, Collection<? extends I>, Appendable, VisualizationHelper<S, ? super TransitionEdge<I, T>>...) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders an Automaton in the GraphVIZ DOT format.
write(GraphViewable, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT
write(Graph<N, E>, Appendable) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders a Graph in the GraphVIZ DOT format.
write(Graph<N, E>, Appendable, List<VisualizationHelper<N, ? super E>>) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders a Graph in the GraphVIZ DOT format.
write(Graph<N, E>, Appendable, VisualizationHelper<N, ? super E>...) - Static method in class net.automatalib.serialization.dot.GraphDOT: Renders a Graph in the GraphVIZ DOT format.
writeModel(OutputStream, Graph<N, E>) - Method in class net.automatalib.serialization.dot.DOTSerializationProvider
writePostamble(Appendable) - Method in class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper
writePostamble(Appendable) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
writePostamble(Appendable) - Method in interface net.automatalib.serialization.dot.DOTVisualizationHelper: Called after the node and edge data are written, but before the closing brace.
writePreamble(Appendable) - Method in class net.automatalib.serialization.dot.AggregateDOTVisualizationHelper
writePreamble(Appendable) - Method in class net.automatalib.serialization.dot.DefaultDOTVisualizationHelper
writePreamble(Appendable) - Method in interface net.automatalib.serialization.dot.DOTVisualizationHelper: Called before the node and edge data are written, but after the opening "digraph {" statement.

A C D E F G I M N P R S T W
All Classes All Packages