Uses of Interface
net.automatalib.serialization.InputModelSerializer
-
Packages that use InputModelSerializer 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.etf.writer net.automatalib.serialization.learnlibv2 net.automatalib.serialization.saf net.automatalib.serialization.taf -
-
Uses of InputModelSerializer in net.automatalib.serialization
Subinterfaces of InputModelSerializer 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 InputModelSerializer in net.automatalib.serialization.aut
Classes in net.automatalib.serialization.aut that implement InputModelSerializer Modifier and Type Class Description class
AUTSerializationProvider
-
Uses of InputModelSerializer in net.automatalib.serialization.automaton
Subinterfaces of InputModelSerializer in net.automatalib.serialization.automaton Modifier and Type Interface Description interface
SimpleAutomatonSerializationProvider<S,I>
A utility interface that unionsSimpleAutomatonSerializer
andSimpleAutomatonDeserializer
.interface
SimpleAutomatonSerializer<I>
A refining interface ofInputModelSerializer
that binds the model toSimpleAutomaton
s. -
Uses of InputModelSerializer in net.automatalib.serialization.etf.writer
Classes in net.automatalib.serialization.etf.writer that implement InputModelSerializer Modifier and Type Class Description class
AbstractETFWriter<I,A extends Automaton<?,I,?>>
This class provides methods to write automata in LTSmin's ETF format.class
DFA2ETFWriter<I>
Write a DFA to ETF.class
Mealy2ETFWriterAlternating<I,O>
Write a Mealy machine with alternating edge semantics.class
Mealy2ETFWriterIO<I,O>
Write a Mealy machine with straightforward IO semantics. -
Uses of InputModelSerializer in net.automatalib.serialization.learnlibv2
Classes in net.automatalib.serialization.learnlibv2 that implement InputModelSerializer Modifier and Type Class Description class
LearnLibV2Serialization
-
Uses of InputModelSerializer in net.automatalib.serialization.saf
Classes in net.automatalib.serialization.saf that implement InputModelSerializer Modifier and Type Class Description class
SAFSerializationDFA
class
SAFSerializationNFA
-
Uses of InputModelSerializer in net.automatalib.serialization.taf
Classes in net.automatalib.serialization.taf that implement InputModelSerializer Modifier and Type Class Description class
TAFSerializationDFA
class
TAFSerializationMealy
-