Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.transformer

package net.automatalib.modelchecker.m3c.transformer

Class	Description
AbstractPropertyTransformer<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	Base class used to represent a property transformer, i.e., a function which maps a subset of formulas to a subset of formulas.
ADDTransformer<L,AP>	An ADDTransformer represents a property transformer for a single ADD (Algebraic Decision Diagram).
ADDTransformerSerializer<L,AP>	This class can be used to serialize and deserialize ADDTransformers.
BDDTransformer<L,AP>	A BDDTransformer represents a property transformer for a list of BDDs (Binary Decision Diagrams), one per subformula.
BDDTransformerSerializer<L,AP>	This class can be used to serialize and deserialize BDDTransformers.
DiamondOperation<AP>	Implementation of the diamond function.
DiamondOperationDeadlock<AP>	Implementation of the diamond function when the node has exactly one successor.
TransformerSerializer<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	Utility interface for serializing AbstractPropertyTransformer implementations.