S
- The state type of the de-serialized hypothesisI
- The default input symbol typepublic interface SimpleAutomatonDeserializer<S,I> extends InputModelDeserializer<I,SimpleAutomaton<S,I>>
InputModelDeserializer
that binds the model to SimpleAutomaton
s. It also adds
new functionality to read systems of arbitrary input type given a transform function from the default input type
(specified by implementing class).
Note: These model-specific interfaces may be omitted if Java starts supporting higher-kinded generics (or we switch to a language that supports these).
Modifier and Type | Method and Description |
---|---|
default InputModelData<I,SimpleAutomaton<S,I>> |
readModel(InputStream is) |
<I2> InputModelData<I2,SimpleAutomaton<S,I2>> |
readModel(InputStream is,
Function<I,I2> inputTransformer) |
readModel, readModel, readModel
<I2> InputModelData<I2,SimpleAutomaton<S,I2>> readModel(InputStream is, Function<I,I2> inputTransformer) throws IOException
IOException
default InputModelData<I,SimpleAutomaton<S,I>> readModel(InputStream is) throws IOException
readModel
in interface ModelDeserializer<InputModelData<I,SimpleAutomaton<S,I>>>
IOException
Copyright © 2019. All rights reserved.