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