Lines Matching refs:sscc
136 scc_stack_ta sscc;
176 sscc.push(++num);
178 sscc.top().is_accepting
210 sscc.rem().push_front(curr);
215 assert(!sscc.empty());
216 if (sscc.top().index == i->second)
219 bool is_livelock_accepting_sscc = (sscc.rem().size() > 1)
220 && ((sscc.top().is_accepting) ||
222 accepting(sscc.top().condition)));
223 trace << "*** sscc.size() = ***" << sscc.size() << '\n';
224 for (auto j: sscc.rem())
254 sscc.pop();
294 sscc.push(num);
296 sscc.top().is_accepting =
349 while (threshold < sscc.top().index)
351 assert(!sscc.empty());
353 acc |= sscc.top().is_accepting;
354 acc_cond |= sscc.top().condition;
356 rem.splice(rem.end(), sscc.rem());
357 sscc.pop();
367 sscc.top().is_accepting |= acc;
368 sscc.top().condition |= acc_cond;
370 sscc.rem().splice(sscc.rem().end(), rem);