Searched refs:init_alternation (Results 1 – 4 of 4) sorted by relevance
4306 bool init_alternation = false; in fix_initial_state() local4319 init_alternation = true; in fix_initial_state()4323 if (!found || init_alternation) in fix_initial_state()4331 if (!init_alternation) in fix_initial_state()
2455 bool init_alternation = false;2468 init_alternation = true;2472 if (!found || init_alternation)2480 if (!init_alternation)