Searched refs:extra_saved_implied_true (Results 1 – 1 of 1) sorted by relevance
919 static struct stree *extra_saved_implied_true; variable931 overwrite_sm_state_stree(&extra_saved_implied_true, sm); in separate_implication_states()933 FOR_EACH_SM(extra_saved_implied_true, sm) { in separate_implication_states()1003 saved_implied_true = extra_saved_implied_true; in set_extra_implied_states()1005 extra_saved_implied_true = NULL; in set_extra_implied_states()