Uses of Package
net.automatalib.modelchecker.m3c.transformer
-
Packages that use net.automatalib.modelchecker.m3c.transformer Package Description net.automatalib.modelchecker.m3c.solver net.automatalib.modelchecker.m3c.transformer -
Classes in net.automatalib.modelchecker.m3c.transformer used by net.automatalib.modelchecker.m3c.solver Class Description AbstractPropertyTransformer Base class used to represent a property transformer, i.e., a function which maps a subset of formulas to a subset of formulas.ADDTransformer An ADDTransformer represents a property transformer for a single ADD (Algebraic Decision Diagram).BDDTransformer A BDDTransformer represents a property transformer for a list of BDDs (Binary Decision Diagrams), one per subformula.TransformerSerializer Utility interface for serializingAbstractPropertyTransformer
implementations. -
Classes in net.automatalib.modelchecker.m3c.transformer used by net.automatalib.modelchecker.m3c.transformer Class Description AbstractPropertyTransformer Base class used to represent a property transformer, i.e., a function which maps a subset of formulas to a subset of formulas.ADDTransformer An ADDTransformer represents a property transformer for a single ADD (Algebraic Decision Diagram).BDDTransformer A BDDTransformer represents a property transformer for a list of BDDs (Binary Decision Diagrams), one per subformula.TransformerSerializer Utility interface for serializingAbstractPropertyTransformer
implementations.