Predicate signature InputSig::nodeGetASuccessor
Gets an immediate successor of this node.
signature Node nodeGetASuccessor(Node node, SuccessorType t)
Gets an immediate successor of this node.
signature Node nodeGetASuccessor(Node node, SuccessorType t)