Uses of Interface
net.automatalib.serialization.InputModelDeserializer
-
Packages that use InputModelDeserializer 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.learnlibv2 net.automatalib.serialization.saf net.automatalib.serialization.taf -
-
Uses of InputModelDeserializer in net.automatalib.serialization
Subinterfaces of InputModelDeserializer in net.automatalib.serialization Modifier and Type Interface Description interface
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>
A utility interface that unionsInputModelSerializer
andInputModelDeserializer
and extendsSerializationProvider
. -
Uses of InputModelDeserializer in net.automatalib.serialization.aut
Classes in net.automatalib.serialization.aut that implement InputModelDeserializer Modifier and Type Class Description class
AUTSerializationProvider
-
Uses of InputModelDeserializer in net.automatalib.serialization.automaton
Subinterfaces of InputModelDeserializer 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 InputModelDeserializer in net.automatalib.serialization.dot
Subinterfaces of InputModelDeserializer 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 InputModelDeserializer Modifier and Type Class Description class
DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>
General-purpose DOT parser forMutableAutomaton
s. -
Uses of InputModelDeserializer in net.automatalib.serialization.learnlibv2
Classes in net.automatalib.serialization.learnlibv2 that implement InputModelDeserializer Modifier and Type Class Description class
LearnLibV2Serialization
-
Uses of InputModelDeserializer in net.automatalib.serialization.saf
Classes in net.automatalib.serialization.saf that implement InputModelDeserializer Modifier and Type Class Description class
SAFSerializationDFA
class
SAFSerializationNFA
-
Uses of InputModelDeserializer in net.automatalib.serialization.taf
Classes in net.automatalib.serialization.taf that implement InputModelDeserializer Modifier and Type Class Description class
TAFSerializationDFA
class
TAFSerializationMealy
-