Class EquationalBlock<L,AP>
- java.lang.Object
-
- net.automatalib.modelchecker.m3c.formula.EquationalBlock<L,AP>
-
- Type Parameters:
L
- edge label typeAP
- atomic proposition type
public class EquationalBlock<L,AP> extends Object
Represents an equational block that aggregates its reference formula nodes.
-
-
Constructor Summary
Constructors Constructor Description EquationalBlock(boolean isMaxBlock)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addNode(FormulaNode<L,AP> node)
List<FormulaNode<L,AP>>
getNodes()
boolean
isMaxBlock()
-
-
-
Method Detail
-
getNodes
public List<FormulaNode<L,AP>> getNodes()
-
addNode
public void addNode(FormulaNode<L,AP> node)
-
isMaxBlock
public boolean isMaxBlock()
-
-