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