|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Block | |
---|---|
dk.brics.bisimulationGame.equiv |
Uses of Block in dk.brics.bisimulationGame.equiv |
---|
Fields in dk.brics.bisimulationGame.equiv with type parameters of type Block | |
---|---|
private java.util.Vector<Block> |
StateSpace.blocks
Blocks making up the partition. |
Methods in dk.brics.bisimulationGame.equiv that return Block | |
---|---|
private Block |
StateSpace.getBlockByNumber(int blockNumber)
|
Methods in dk.brics.bisimulationGame.equiv with parameters of type Block | |
---|---|
private boolean |
StateSpace.checkBlock(Block block)
Checks if all nodes in a block have equal capabilities. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |