Uses of Class
net.automatalib.modelchecker.m3c.formula.EquationalBlock
-
Packages that use EquationalBlock Package Description net.automatalib.modelchecker.m3c.formula net.automatalib.modelchecker.m3c.transformer -
-
Uses of EquationalBlock in net.automatalib.modelchecker.m3c.formula
Methods in net.automatalib.modelchecker.m3c.formula that return EquationalBlock Modifier and Type Method Description EquationalBlock<L,AP>DependencyGraph. getBlock(int index)Returns the equational block for the given index.Methods in net.automatalib.modelchecker.m3c.formula that return types with arguments of type EquationalBlock Modifier and Type Method Description List<EquationalBlock<L,AP>>DependencyGraph. getBlocks()Returns all equational blocks of the equational system. -
Uses of EquationalBlock in net.automatalib.modelchecker.m3c.transformer
Methods in net.automatalib.modelchecker.m3c.transformer with parameters of type EquationalBlock Modifier and Type Method Description abstract TAbstractPropertyTransformer. createUpdate(Set<AP> atomicPropositions, List<T> compositions, EquationalBlock<L,AP> currentBlock)Returns the updated property transformer of a node.ADDTransformer<L,AP>ADDTransformer. createUpdate(Set<AP> atomicPropositions, List<ADDTransformer<L,AP>> compositions, EquationalBlock<L,AP> currentBlock)BDDTransformer<L,AP>BDDTransformer. createUpdate(Set<AP> atomicPropositions, List<BDDTransformer<L,AP>> compositions, EquationalBlock<L,AP> currentBlock)Constructors in net.automatalib.modelchecker.m3c.transformer with parameters of type EquationalBlock Constructor Description DiamondOperation(Set<AP> atomicPropositions, EquationalBlock<?,AP> block)DiamondOperationDeadlock(Set<AP> atomicPropositions, EquationalBlock<?,AP> block)
-