Package net.automatalib.modelchecker.m3c.formula

Class EquationalBlock<L,AP>

java.lang.Object

net.automatalib.modelchecker.m3c.formula.EquationalBlock<L,AP>

Type Parameters:

L - edge label type

AP - 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

Modifier and Type	Method	Description
void	addNode(FormulaNode<L,AP> node)
List<FormulaNode<L,AP>>	getNodes()
boolean	isMaxBlock()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EquationalBlock

public EquationalBlock(boolean isMaxBlock)

Method Detail

getNodes

public List<FormulaNode<L,AP>> getNodes()

addNode

public void addNode(FormulaNode<L,AP> node)

isMaxBlock

public boolean isMaxBlock()