Member predicate WhileLoopEntryConditionEvaluator::isLoopEntry
Holds if cfn is the entry point of the loop for which e is the condition.
predicate isLoopEntry(Expr e, Node cfn)Holds if cfn is the entry point of the loop for which e is the condition.
predicate isLoopEntry(Expr e, Node cfn)