A B D E F G I M N R S V W
All Classes All Packages

A

AutomatonType - Enum in net.automatalib.serialization.saf

B

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

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

D

DFA - net.automatalib.serialization.saf.AutomatonType

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

I

isDeterministic() - Method in enum net.automatalib.serialization.saf.AutomatonType

M

MEALY - net.automatalib.serialization.saf.AutomatonType

N

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

NFA - net.automatalib.serialization.saf.AutomatonType

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

V

valueOf(String) - Static method in enum net.automatalib.serialization.saf.AutomatonType

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.automatalib.serialization.saf.AutomatonType

Returns an array containing the constants of this enum type, in the order they are declared.

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

A B D E F G I M N R S V W
All Classes All Packages