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

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.