Uses of Class
net.automatalib.serialization.InputModelData
-
Packages that use InputModelData 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 InputModelData in net.automatalib.serialization
Methods in net.automatalib.serialization with parameters of type InputModelData Modifier and Type Method Description default void
InputModelSerializer. writeModel(OutputStream os, InputModelData<I,M> model)
-
Uses of InputModelData in net.automatalib.serialization.aut
Methods in net.automatalib.serialization.aut that return InputModelData Modifier and Type Method Description static InputModelData<String,SimpleAutomaton<Integer,String>>
AUTParser. readAutomaton(InputStream is)
static <I> InputModelData<I,SimpleAutomaton<Integer,I>>
AUTParser. readAutomaton(InputStream is, Function<String,I> inputTransformer)
<I2> InputModelData<I2,SimpleAutomaton<Integer,I2>>
AUTSerializationProvider. readModel(InputStream is, Function<String,I2> inputTransformer)
-
Uses of InputModelData in net.automatalib.serialization.automaton
Methods in net.automatalib.serialization.automaton that return InputModelData Modifier and Type Method Description default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(byte[] buf, Function<I,I2> inputTransformer)
Reads the contents from the given byte buffer and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(File f, Function<I,I2> inputTransformer)
Reads the contents from the given file and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default InputModelData<I,SimpleAutomaton<S,I>>
SimpleAutomatonDeserializer. readModel(InputStream is)
<I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(InputStream is, Function<I,I2> inputTransformer)
Reads the contents from the given input stream and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(URL url, Function<I,I2> inputTransformer)
Reads the contents from the given URL and de-serializes it into aInputModelData
that contains the model and its alphabet definition. -
Uses of InputModelData in net.automatalib.serialization.dot
Subclasses of InputModelData in net.automatalib.serialization.dot Modifier and Type Class Description class
DOTInputModelData<S,I,M extends SimpleTS<S,I>>
A utility data class, that extendsInputModelData
by labeling information of the model's states. -
Uses of InputModelData in net.automatalib.serialization.learnlibv2
Methods in net.automatalib.serialization.learnlibv2 that return InputModelData Modifier and Type Method Description InputModelData<Integer,DFA<Integer,Integer>>
LearnLibV2Serialization. readModel(InputStream is)
-
Uses of InputModelData in net.automatalib.serialization.saf
Methods in net.automatalib.serialization.saf that return InputModelData Modifier and Type Method Description InputModelData<Integer,DFA<Integer,Integer>>
SAFSerializationDFA. readModel(InputStream is)
InputModelData<Integer,NFA<Integer,Integer>>
SAFSerializationNFA. readModel(InputStream is)
-
Uses of InputModelData in net.automatalib.serialization.taf
Methods in net.automatalib.serialization.taf that return InputModelData Modifier and Type Method Description InputModelData<String,DFA<Integer,String>>
TAFSerializationDFA. readModel(InputStream is)
InputModelData<String,MealyMachine<?,String,?,String>>
TAFSerializationMealy. readModel(InputStream is)
-