net.automatalib.serialization.saf
Interfaces
BlockPropertyDecoder
BlockPropertyEncoder
SinglePropertyDecoder
SinglePropertyEncoder
Classes
SAFOutput
SAFSerializationDFA
SAFSerializationNFA