public final class AUTSerializationProvider extends Object implements SimpleAutomatonSerializationProvider<Integer,String>
Modifier and Type | Method and Description |
---|---|
static AUTSerializationProvider |
getInstance() |
<I2> InputModelData<I2,SimpleAutomaton<Integer,I2>> |
readModel(InputStream is,
Function<String,I2> inputTransformer) |
<I2> void |
writeModel(OutputStream os,
SimpleAutomaton<?,I2> model,
Alphabet<I2> alphabet,
Function<I2,String> inputTransformer) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
writeModel
writeModel, writeModel
writeModel
readModel
readModel, readModel, readModel
public static AUTSerializationProvider getInstance()
public <I2> void writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,String> inputTransformer) throws IOException
writeModel
in interface SimpleAutomatonSerializer<String>
IOException
public <I2> InputModelData<I2,SimpleAutomaton<Integer,I2>> readModel(InputStream is, Function<String,I2> inputTransformer) throws IOException
readModel
in interface SimpleAutomatonDeserializer<Integer,String>
IOException
Copyright © 2018. All rights reserved.