dk.brics.bisim.equiv
Class Block
java.lang.Object
dk.brics.bisim.equiv.Block
public class Block
- extends java.lang.Object
A partition in a state space.
It contains a set of nodes, and it is identified by a block number.
- Author:
- Martin Mosegaard martinm@daimi.au.dk
- See Also:
StateSpace
Field Summary |
private int |
blockNumber
|
private java.util.ArrayList<att.grappa.Node> |
nodes
|
Constructor Summary |
Block(java.util.Set<att.grappa.Node> nodes,
int blockNumber)
Constructs a block holding a set of nodes and identified
by a block number. |
Method Summary |
int |
getBlockNumber()
Returns the number of this block. |
java.util.ArrayList<att.grappa.Node> |
getNodes()
Returns the nodes in this block. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
nodes
private java.util.ArrayList<att.grappa.Node> nodes
blockNumber
private int blockNumber
Block
public Block(java.util.Set<att.grappa.Node> nodes,
int blockNumber)
- Constructs a block holding a set of nodes and identified
by a block number.
- Parameters:
nodes
- A set of nodesblockNumber
- A block number
getBlockNumber
public int getBlockNumber()
- Returns the number of this block.
- Returns:
- The number of this block
getNodes
public java.util.ArrayList<att.grappa.Node> getNodes()
- Returns the nodes in this block.
- Returns:
- The nodes in this block
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object