Modifier and Type | Interface and Description |
---|---|
interface |
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>
A utility interface that unions
InputModelSerializer and InputModelDeserializer and extends SerializationProvider . |
Modifier and Type | Class and Description |
---|---|
class |
AUTSerializationProvider |
Modifier and Type | Interface and Description |
---|---|
interface |
SimpleAutomatonDeserializer<S,I>
A refining interface of
InputModelDeserializer that binds the model to SimpleAutomaton s. |
interface |
SimpleAutomatonSerializationProvider<S,I>
A utility interface that unions
SimpleAutomatonSerializer and SimpleAutomatonDeserializer . |
Modifier and Type | Class and Description |
---|---|
class |
DOTMutableAutomatonParser<I,SP,TP,A extends MutableAutomaton<?,I,?,SP,TP>>
General-purpose DOT parser for
MutableAutomaton s. |
Modifier and Type | Method and Description |
---|---|
static InputModelDeserializer<String,CompactDFA<String>> |
DOTParsers.dfa()
Default parser for
DFA s serialized by AutomataLib. |
static <I> InputModelDeserializer<I,CompactDFA<I>> |
DOTParsers.dfa(Function<Map<String,String>,Boolean> nodeParser,
Function<Map<String,String>,I> edgeParser)
Parser for
DFA s with custom node and edge attributes. |
static <I,A extends MutableFSA<?,I>> |
DOTParsers.fsa(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Boolean> nodeParser,
Function<Map<String,String>,I> edgeParser)
Parser for
FiniteStateAcceptor s with a custom automaton instance and custom node and edge attributes. |
static <I,A extends MutableFSA<?,I>> |
DOTParsers.fsa(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Boolean> nodeParser,
Function<Map<String,String>,I> edgeParser,
Collection<String> initialNodeIds)
Parser for
FiniteStateAcceptor s with a custom automaton instance, custom node and edge attributes and
custom labels for the initial nodes. |
static <I,A extends MutableFSA<?,I>> |
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
FiniteStateAcceptor s with a custom automaton instance, custom node and edge attributes, custom
labels for initial nodes and a flag whether or not the initial nodes are artificial. |
static InputModelDeserializer<String,CompactMealy<String,String>> |
DOTParsers.mealy()
Default parser for
MealyMachine s serialized by AutomataLib. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser)
Parser for
MealyMachine s with a custom automaton instance and custom edge attributes. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser,
String initialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,String>,Pair<I,O>> edgeParser,
String initialNodeId,
boolean fakeInitialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node and a flag whether or not the initial nodes are artificial. |
static <I,O> InputModelDeserializer<I,CompactMealy<I,O>> |
DOTParsers.mealy(Function<Map<String,String>,Pair<I,O>> edgeParser)
Parser for
MealyMachine s with custom edge attributes. |
static InputModelDeserializer<String,CompactMoore<String,String>> |
DOTParsers.moore()
Default parser for
MooreMachine s serialized by AutomataLib. |
static <I,O,A extends MutableMooreMachine<?,I,?,O>> |
DOTParsers.moore(AutomatonCreator<A,I> creator,
Function<Map<String,String>,O> nodeParser,
Function<Map<String,String>,I> edgeParser)
Parser for
MooreMachine s with a custom automaton instance and custom node and edge attributes. |
static <I,O,A extends MutableMooreMachine<?,I,?,O>> |
DOTParsers.moore(AutomatonCreator<A,I> creator,
Function<Map<String,String>,O> nodeParser,
Function<Map<String,String>,I> edgeParser,
String initialNodeId)
Parser for
MooreMachine s with a custom automaton instance, custom node and edge attributes and a custom
label for the initial node. |
static <I,O,A extends MutableMooreMachine<?,I,?,O>> |
DOTParsers.moore(AutomatonCreator<A,I> creator,
Function<Map<String,String>,O> nodeParser,
Function<Map<String,String>,I> edgeParser,
String initialNodeId,
boolean fakeInitialNodeId)
Parser for
MooreMachine s with a custom automaton instance, custom node and edge attributes, a custom
label for the initial node and a flag whether or not the initial node is artificial. |
static <I,O> InputModelDeserializer<I,CompactMoore<I,O>> |
DOTParsers.moore(Function<Map<String,String>,O> nodeParser,
Function<Map<String,String>,I> edgeParser)
Parser for
MooreMachine s with custom node and edge attributes. |
static InputModelDeserializer<String,CompactNFA<String>> |
DOTParsers.nfa()
Default parser for
NFA s serialized by AutomataLib. |
static <I> InputModelDeserializer<I,CompactNFA<I>> |
DOTParsers.nfa(Function<Map<String,String>,Boolean> nodeParser,
Function<Map<String,String>,I> edgeParser)
Parser for
NFA s with custom node and edge attributes. |
Modifier and Type | Class and Description |
---|---|
class |
LearnLibV2Serialization |
Modifier and Type | Class and Description |
---|---|
class |
SAFSerializationDFA |
class |
SAFSerializationNFA |
Modifier and Type | Class and Description |
---|---|
class |
TAFSerializationDFA |
class |
TAFSerializationMealy |
Copyright © 2020. All rights reserved.