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