Lines Matching refs:sscc
413 sscc.push(num); in livelock_detection()
414 sscc.top().is_accepting = t->is_livelock_accepting_state(init); in livelock_detection()
442 sscc.rem().push_front(curr); in livelock_detection()
448 assert(!sscc.empty()); in livelock_detection()
449 if (sscc.top().index == i->second) in livelock_detection()
452 for (auto j: sscc.rem()) in livelock_detection()
454 dec_depth(sscc.rem().size()); in livelock_detection()
455 sscc.pop(); in livelock_detection()
493 sscc.push(num); in livelock_detection()
494 sscc.top().is_accepting = t->is_livelock_accepting_state(dest); in livelock_detection()
535 while (threshold < sscc.top().index) in livelock_detection()
537 assert(!sscc.empty()); in livelock_detection()
539 acc |= sscc.top().is_accepting; in livelock_detection()
541 rem.splice(rem.end(), sscc.rem()); in livelock_detection()
542 sscc.pop(); in livelock_detection()
551 sscc.top().is_accepting |= acc; in livelock_detection()
553 sscc.rem().splice(sscc.rem().end(), rem); in livelock_detection()
554 if (sscc.top().is_accepting) in livelock_detection()