dk.brics.bisim.equiv
Interfaces 
Successor
Classes 
AbstractSuccessor
Block
Capability
CGEdge
CGNode
ConfigurationGraph
StateSpace
Strategy
StrongSuccessor
WeakSuccessor