Modifier and Type | Interface and Description |
---|---|
interface |
InputModelDeserializer<I,M extends SimpleTS<?,I>>
A refinement of the
ModelDeserializer interface for arbitrary models that can react to inputs. |
interface |
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>
A utility interface that unions
InputModelSerializer and InputModelDeserializer and extends SerializationProvider . |
interface |
SerializationProvider<OUT,IN>
A utility interface that unions
ModelSerializer and ModelDeserializer . |
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 |
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>
General-purpose DOT parser for
MutableGraph s. |
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 ModelDeserializer<CompactGraph<String,String>> |
DOTParsers.graph()
Default parser for (directed)
Graph s serialized by AutomataLib. |
static <NP,EP> ModelDeserializer<CompactGraph<NP,EP>> |
DOTParsers.graph(Function<Map<String,Object>,NP> nodeParser,
Function<Map<String,Object>,EP> edgeParser)
Parser for (directed)
Graph s with custom node and edge attributes. |
static <NP,EP,G extends MutableGraph<?,?,NP,EP>> |
DOTParsers.graph(Supplier<G> creator,
Function<Map<String,Object>,NP> nodeParser,
Function<Map<String,Object>,EP> edgeParser)
Parser for (directed)
Graph s with a custom graph instance and custom node and edge attributes. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractFSM2MealyParser<I,O>
An FSM parser for Mealy machines.
|
class |
FSM2DFAParser<I>
Parses an FSM to a DFA.
|
class |
FSM2MealyParserAlternating<I,O>
Parses a Mealy machine with alternating edge semantics from an FSM source.
|
class |
FSM2MealyParserIO<I,O>
Parse a Mealy machine from an FSM source, with straightforward edge semantics.
|
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.