Uses of Class
net.automatalib.modelchecker.m3c.transformer.BDDTransformer
-
Packages that use BDDTransformer Package Description net.automatalib.modelchecker.m3c.solver net.automatalib.modelchecker.m3c.transformer -
-
Uses of BDDTransformer in net.automatalib.modelchecker.m3c.solver
Methods in net.automatalib.modelchecker.m3c.solver that return BDDTransformer Modifier and Type Method Description protected <TP extends ModalEdgeProperty>
BDDTransformer<L,AP>BDDSolver. createInitTransformerEdge(DependencyGraph<L,AP> dependencyGraph, L edgeLabel, TP edgeProperty)protected BDDTransformer<L,AP>BDDSolver. createInitTransformerEndNode(DependencyGraph<L,AP> dependencyGraph)protected BDDTransformer<L,AP>BDDSolver. createInitTransformerNode(DependencyGraph<L,AP> dependencyGraph)Methods in net.automatalib.modelchecker.m3c.solver that return types with arguments of type BDDTransformer Modifier and Type Method Description protected TransformerSerializer<BDDTransformer<L,AP>,L,AP>BDDSolver. getSerializer() -
Uses of BDDTransformer in net.automatalib.modelchecker.m3c.transformer
Methods in net.automatalib.modelchecker.m3c.transformer that return BDDTransformer Modifier and Type Method Description BDDTransformer<L,AP>BDDTransformer. compose(BDDTransformer<L,AP> other)BDDTransformer<L,AP>BDDTransformer. createUpdate(Set<AP> atomicPropositions, List<BDDTransformer<L,AP>> compositions, EquationalBlock<L,AP> currentBlock)BDDTransformer<L,AP>BDDTransformerSerializer. deserialize(List<String> data)Methods in net.automatalib.modelchecker.m3c.transformer with parameters of type BDDTransformer Modifier and Type Method Description BDDTransformer<L,AP>BDDTransformer. compose(BDDTransformer<L,AP> other)List<String>BDDTransformerSerializer. serialize(BDDTransformer<L,AP> transformer)Method parameters in net.automatalib.modelchecker.m3c.transformer with type arguments of type BDDTransformer Modifier and Type Method Description BDDTransformer<L,AP>BDDTransformer. createUpdate(Set<AP> atomicPropositions, List<BDDTransformer<L,AP>> compositions, EquationalBlock<L,AP> currentBlock)
-