Searched refs:extra_saved_implied_false (Results 1 – 1 of 1) sorted by relevance
920 static struct stree *extra_saved_implied_false; variable939 overwrite_sm_state_stree(&extra_saved_implied_false, sm); in separate_implication_states()941 FOR_EACH_SM(extra_saved_implied_false, sm) { in separate_implication_states()1004 saved_implied_false = extra_saved_implied_false; in set_extra_implied_states()1006 extra_saved_implied_false = NULL; in set_extra_implied_states()