Searched refs:replace_apply (Results 1 – 1 of 1) sorted by relevance
4293 vec<int> replace_apply; member4357 save->replace_apply.create (0); in save_backtrack_point()4438 int apply_p = save->replace_apply.pop (); in undo_replacements_for_backtrack()4446 save->replace_apply.release (); in undo_replacements_for_backtrack()4654 save->replace_apply.release (); in free_topmost_backtrack_point()4712 backtrack_queue->replace_apply.safe_push (1); in apply_replacement()4763 backtrack_queue->replace_apply.safe_push (0); in restore_pattern()