Uses of Class
dk.brics.bisim.equiv.Block

Packages that use Block
dk.brics.bisim.equiv   
 

Uses of Block in dk.brics.bisim.equiv
 

Fields in dk.brics.bisim.equiv with type parameters of type Block
private  java.util.ArrayList<Block> StateSpace.blocks
          Blocks making up the partition.
 

Methods in dk.brics.bisim.equiv that return Block
private  Block StateSpace.getBlockByNumber(int blockNumber)
           
 

Methods in dk.brics.bisim.equiv with parameters of type Block
private  boolean StateSpace.checkBlock(Block block)
          Checks if all nodes in a block have equal capabilities.