Uses of Interface
net.automatalib.serialization.saf.SinglePropertyEncoder

Uses of SinglePropertyEncoder in net.automatalib.serialization.saf

Methods in net.automatalib.serialization.saf that return SinglePropertyEncoder

Modifier and Type	Method and Description
static <P> SinglePropertyEncoder<P>	SinglePropertyEncoder.nullEncoder()

Methods in net.automatalib.serialization.saf with parameters of type SinglePropertyEncoder

Modifier and Type	Method and Description
<I,SP,TP> void	SAFOutput.writeAutomaton(UniversalAutomaton<?,I,?,SP,TP> source, Alphabet<I> alphabet, net.automatalib.serialization.saf.AutomatonType expectedType, BlockPropertyEncoder<? super SP> spEncoder, SinglePropertyEncoder<? super TP> tpEncoder)