Member predicate DataFlow :: Node :: mayHaveBooleanValue
Holds if this node may evaluate to the Boolean value b
.
predicate
mayHaveBooleanValue
(
boolean
b
)