Member predicate WhileLoopEntryConditionEvaluator::isLoopBody
Holds if s is the loop body guarded by the condition e.
predicate isLoopBody(Expr e, StmtParent s)Holds if s is the loop body guarded by the condition e.
predicate isLoopBody(Expr e, StmtParent s)