Member predicate Make0::Make1::Make2::Public::ControlFlowNode::isAfterValue
Holds if this node indicates that n evaluates to the value t.
predicate isAfterValue(AstNode n, ConditionalSuccessor t)Holds if this node indicates that n evaluates to the value t.
predicate isAfterValue(AstNode n, ConditionalSuccessor t)