Member predicate LoopSplitting::AnalyzableLoopStmt::stop
Holds if the step pred --c--> succ should stop the split.
predicate stop(AstNode pred, AstNode succ, Completion c)Holds if the step pred --c--> succ should stop the split.
predicate stop(AstNode pred, AstNode succ, Completion c)