Interface | Description |
---|---|
BlockPropertyDecoder<P> | |
BlockPropertyEncoder<P> | |
SinglePropertyDecoder<P> | |
SinglePropertyEncoder<P> |
Class | Description |
---|---|
SAFOutput |
Serializer for the SAF (simple automaton format).
|
SAFSerializationDFA | |
SAFSerializationNFA |
Copyright © 2020. All rights reserved.