dk.brics.bisimulationGame.equiv
Class Block

java.lang.Object
  extended by dk.brics.bisimulationGame.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.Vector<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.Vector<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
 

Field Detail

nodes

private java.util.Vector<att.grappa.Node> nodes

blockNumber

private int blockNumber
Constructor Detail

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 nodes
blockNumber - A block number
Method Detail

getBlockNumber

public int getBlockNumber()
Returns the number of this block.

Returns:
The number of this block

getNodes

public java.util.Vector<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