Uses of Interface
net.automatalib.serialization.ModelDeserializer
-
Packages that use ModelDeserializer Package Description net.automatalib.serialization This package (including sub-packages) contains several (de-) serializers for the different types of automata, transition systems, and graphs supported by AutomataLib.net.automatalib.serialization.aut net.automatalib.serialization.automaton net.automatalib.serialization.dot net.automatalib.serialization.fsm.parser net.automatalib.serialization.learnlibv2 net.automatalib.serialization.saf net.automatalib.serialization.taf -
-
Uses of ModelDeserializer in net.automatalib.serialization
Subinterfaces of ModelDeserializer in net.automatalib.serialization Modifier and Type Interface Description interface
InputModelDeserializer<I,M extends SimpleTS<?,I>>
A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.interface
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>
A utility interface that unionsInputModelSerializer
andInputModelDeserializer
and extendsSerializationProvider
.interface
SerializationProvider<OUT,IN>
A utility interface that unionsModelSerializer
andModelDeserializer
. -
Uses of ModelDeserializer in net.automatalib.serialization.aut
Classes in net.automatalib.serialization.aut that implement ModelDeserializer Modifier and Type Class Description class
AUTSerializationProvider
-
Uses of ModelDeserializer in net.automatalib.serialization.automaton
Subinterfaces of ModelDeserializer in net.automatalib.serialization.automaton Modifier and Type Interface Description interface
SimpleAutomatonDeserializer<S,I>
A refining interface ofInputModelDeserializer
that binds the model toSimpleAutomaton
s.interface
SimpleAutomatonSerializationProvider<S,I>
A utility interface that unionsSimpleAutomatonSerializer
andSimpleAutomatonDeserializer
. -
Uses of ModelDeserializer in net.automatalib.serialization.dot
Subinterfaces of ModelDeserializer in net.automatalib.serialization.dot Modifier and Type Interface Description interface
DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>>
A specialization of theInputModelDeserializer
that returns aDOTInputModelData
object which holds additional information about the state labels of the de-serialized automaton.Classes in net.automatalib.serialization.dot that implement ModelDeserializer Modifier and Type Class Description class
DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>
General-purpose DOT parser forMutableGraph
s.class
DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>
General-purpose DOT parser forMutableAutomaton
s.Methods in net.automatalib.serialization.dot that return ModelDeserializer Modifier and Type Method Description static ModelDeserializer<CompactGraph<@Nullable String,@Nullable String>>
DOTParsers. graph()
Default parser for (directed)Graph
s serialized by AutomataLib.static <NP,EP>
ModelDeserializer<CompactGraph<NP,EP>>DOTParsers. graph(Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)
Parser for (directed)Graph
s with custom node and edge attributes.static <NP,EP,G extends MutableGraph<?,?,NP,EP>>
ModelDeserializer<G>DOTParsers. graph(Supplier<G> creator, Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)
Parser for (directed)Graph
s with a custom graph instance and custom node and edge attributes. -
Uses of ModelDeserializer in net.automatalib.serialization.fsm.parser
Classes in net.automatalib.serialization.fsm.parser that implement ModelDeserializer Modifier and Type Class 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. -
Uses of ModelDeserializer in net.automatalib.serialization.learnlibv2
Classes in net.automatalib.serialization.learnlibv2 that implement ModelDeserializer Modifier and Type Class Description class
LearnLibV2Serialization
-
Uses of ModelDeserializer in net.automatalib.serialization.saf
Classes in net.automatalib.serialization.saf that implement ModelDeserializer Modifier and Type Class Description class
SAFSerializationDFA
class
SAFSerializationNFA
-
Uses of ModelDeserializer in net.automatalib.serialization.taf
Classes in net.automatalib.serialization.taf that implement ModelDeserializer Modifier and Type Class Description class
TAFSerializationDFA
class
TAFSerializationMealy
-