Uses of Interface
net.automatalib.modelchecker.m3c.transformer.TransformerSerializer

Packages that use TransformerSerializer

Package	Description
net.automatalib.modelchecker.m3c.solver
net.automatalib.modelchecker.m3c.transformer

Uses of TransformerSerializer in net.automatalib.modelchecker.m3c.solver

Methods in net.automatalib.modelchecker.m3c.solver that return TransformerSerializer

Modifier and Type	Method	Description
protected TransformerSerializer<ADDTransformer<L,AP>,L,AP>	ADDSolver.getSerializer()
protected TransformerSerializer<BDDTransformer<L,AP>,L,AP>	BDDSolver.getSerializer()

Methods in net.automatalib.modelchecker.m3c.solver with parameters of type TransformerSerializer

Modifier and Type	Method	Description
List<T>	SolverState.getCompositions(TransformerSerializer<T,L,AP> serializer)	Returns a List of the property transformers representing the compositions of the property transformer of the outgoing edges and their target nodes.
Mapping<N,T>	SolverData.getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)	Returns a Mapping which maps nodes to their initial property transformer.
Map<L,T>	SolverHistory.getMayTransformers(TransformerSerializer<T,L,AP> serializer)	Returns a Map which maps the edge label of may edges to their property transformer.
Map<L,T>	SolverHistory.getMustTransformers(TransformerSerializer<T,L,AP> serializer)	Returns a Map which maps the edge label of must edges to their property transformer.
T	SolverState.getUpdatedPropTransformer(TransformerSerializer<T,L,AP> serializer)	Returns the updated property transformer.

Uses of TransformerSerializer in net.automatalib.modelchecker.m3c.transformer

Classes in net.automatalib.modelchecker.m3c.transformer that implement TransformerSerializer

Modifier and Type	Class	Description
class	ADDTransformerSerializer<L,AP>	This class can be used to serialize and deserialize ADDTransformers.
class	BDDTransformerSerializer<L,AP>	This class can be used to serialize and deserialize BDDTransformers.