Modifier and Type | Interface and Description |
---|---|
interface |
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>
A utility interface that unions
InputModelSerializer and InputModelDeserializer and extends SerializationProvider . |
Modifier and Type | Class and Description |
---|---|
class |
AUTSerializationProvider |
Modifier and Type | Interface and Description |
---|---|
interface |
SimpleAutomatonDeserializer<S,I>
A refining interface of
InputModelDeserializer that binds the model to SimpleAutomaton s. |
interface |
SimpleAutomatonSerializationProvider<S,I>
A utility interface that unions
SimpleAutomatonSerializer and SimpleAutomatonDeserializer . |
Modifier and Type | Class and Description |
---|---|
class |
LearnLibV2Serialization |
Modifier and Type | Class and Description |
---|---|
class |
SAFSerializationDFA |
class |
SAFSerializationNFA |
Modifier and Type | Class and Description |
---|---|
class |
TAFSerializationDFA |
class |
TAFSerializationMealy |
Copyright © 2018. All rights reserved.