Package net.automatalib.serialization.saf
-
Interface Summary Interface Description BlockPropertyDecoder<P> BlockPropertyEncoder<P> SinglePropertyDecoder<P> SinglePropertyEncoder<P> -
Class Summary Class Description SAFOutput Serializer for the SAF (simple automaton format).SAFSerializationDFA SAFSerializationNFA -
Enum Summary Enum Description AutomatonType