Member predicate Routing::Node::isGuardedByNode
Holds if node
has processed the incoming request strictly prior to this node.
predicate isGuardedByNode(Node node)
Holds if node
has processed the incoming request strictly prior to this node.
predicate isGuardedByNode(Node node)