|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractSuccessor | |
---|---|
dk.brics.bisim.equiv |
Uses of AbstractSuccessor in dk.brics.bisim.equiv |
---|
Subclasses of AbstractSuccessor in dk.brics.bisim.equiv | |
---|---|
class |
Capability
The capability of a node. |
class |
StrongSuccessor
The successor of a node. |
class |
WeakSuccessor
A weak successor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |