Member predicate Guard::controlsNode
Holds if cfn is guarded by this expression having value v.
Note: This predicate is inlined.
predicate controlsNode(ElementNode cfn, GuardValue v)Holds if cfn is guarded by this expression having value v.
Note: This predicate is inlined.
predicate controlsNode(ElementNode cfn, GuardValue v)