Searched refs:old_seen (Results 1 – 2 of 2) sorted by relevance
5020 auto_vec <bool, 32> old_seen; in print_decision() local5021 old_seen.safe_splice (os->seen_vars); in print_decision()5028 os->seen_vars.splice (old_seen); in print_decision()5041 auto_vec <bool, 32> old_seen; in print_decision() local5042 old_seen.safe_splice (os->seen_vars); in print_decision()5067 os->seen_vars.splice (old_seen); in print_decision()
5018 auto_vec <bool, 32> old_seen; in print_decision() local5019 old_seen.safe_splice (os->seen_vars); in print_decision()5026 os->seen_vars.splice (old_seen); in print_decision()5039 auto_vec <bool, 32> old_seen; in print_decision() local5040 old_seen.safe_splice (os->seen_vars); in print_decision()5065 os->seen_vars.splice (old_seen); in print_decision()