B E F G N R S W

B

BlockPropertyDecoder<P> - Interface in net.automatalib.serialization.saf

BlockPropertyEncoder<P> - Interface in net.automatalib.serialization.saf

E

encodeProperty(DataOutput, P) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder

F

finish(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder

finish(DataOutput) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder

G

getInstance() - Static method in class net.automatalib.serialization.saf.SAFSerializationDFA

getInstance() - Static method in class net.automatalib.serialization.saf.SAFSerializationNFA

N

net.automatalib.serialization.saf - package net.automatalib.serialization.saf

noopEncoder() - Static method in interface net.automatalib.serialization.saf.BlockPropertyEncoder

nullDecoder() - Static method in interface net.automatalib.serialization.saf.BlockPropertyDecoder

nullDecoder() - Static method in interface net.automatalib.serialization.saf.SinglePropertyDecoder

nullEncoder() - Static method in interface net.automatalib.serialization.saf.SinglePropertyEncoder

R

readModel(InputStream) - Method in class net.automatalib.serialization.saf.SAFSerializationDFA

readModel(InputStream) - Method in class net.automatalib.serialization.saf.SAFSerializationNFA

readProperty(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder

readProperty(DataInput) - Method in interface net.automatalib.serialization.saf.SinglePropertyDecoder

S

SAFOutput - Class in net.automatalib.serialization.saf

Serializer for the SAF (simple automaton format).

SAFSerializationDFA - Class in net.automatalib.serialization.saf

SAFSerializationNFA - Class in net.automatalib.serialization.saf

SinglePropertyDecoder<P> - Interface in net.automatalib.serialization.saf

SinglePropertyEncoder<P> - Interface in net.automatalib.serialization.saf

start(DataInput) - Method in interface net.automatalib.serialization.saf.BlockPropertyDecoder

start(DataOutput) - Method in interface net.automatalib.serialization.saf.BlockPropertyEncoder

W

writeAutomaton(UniversalAutomaton<?, I, ?, SP, TP>, Alphabet<I>, AutomatonType, BlockPropertyEncoder<? super SP>, SinglePropertyEncoder<? super TP>) - Method in class net.automatalib.serialization.saf.SAFOutput

writeDFA(DFA<?, I>, Alphabet<I>) - Method in class net.automatalib.serialization.saf.SAFOutput

writeHeader(AutomatonType) - Method in class net.automatalib.serialization.saf.SAFOutput

writeModel(OutputStream, DFA<?, Integer>, Alphabet<Integer>) - Method in class net.automatalib.serialization.saf.SAFSerializationDFA

writeModel(OutputStream, NFA<?, Integer>, Alphabet<Integer>) - Method in class net.automatalib.serialization.saf.SAFSerializationNFA

writeNFA(NFA<?, I>, Alphabet<I>) - Method in class net.automatalib.serialization.saf.SAFOutput

writeProperty(DataOutput, P) - Method in interface net.automatalib.serialization.saf.SinglePropertyEncoder

B E F G N R S W