Uses of Class
net.automatalib.modelchecker.m3c.transformer.AbstractPropertyTransformer

Packages that use AbstractPropertyTransformer

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

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

Classes in net.automatalib.modelchecker.m3c.solver with type parameters of type AbstractPropertyTransformer

Modifier and Type	Class	Description
class	SolverData<N,T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	A class used to store ProceduralModalProcessGraph-specific data for the SolverHistory.
class	SolverHistory<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	A class used to store internal information produced by AbstractDDSolver.solveAndRecordHistory(net.automatalib.modelchecker.m3c.formula.FormulaNode<L, AP>) while checking the satisfiability of a formula.
class	SolverState<N,T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	Stores internal information produced during the update of a node in AbstractDDSolver.

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

Classes in net.automatalib.modelchecker.m3c.transformer with type parameters of type AbstractPropertyTransformer

Modifier and Type	Class	Description
class	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.
interface	TransformerSerializer<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>	Utility interface for serializing AbstractPropertyTransformer implementations.

Subclasses of AbstractPropertyTransformer in net.automatalib.modelchecker.m3c.transformer

Modifier and Type	Class	Description
class	ADDTransformer<L,AP>	An ADDTransformer represents a property transformer for a single ADD (Algebraic Decision Diagram).
class	BDDTransformer<L,AP>	A BDDTransformer represents a property transformer for a list of BDDs (Binary Decision Diagrams), one per subformula.