Member predicate ConditionalLoop::entersLoopWhenConditionIs
Holds if the loop body is entered when the condition is condValue.
predicate entersLoopWhenConditionIs(boolean condValue)Holds if the loop body is entered when the condition is condValue.
predicate entersLoopWhenConditionIs(boolean condValue)