Searched defs:save_candidate (Results 1 – 3 of 3) sorted by relevance
175 void pattern_inference_cfg::collect::save_candidate(expr * n, unsigned delta) { in save_candidate() function in pattern_inference_cfg::collect
68 void save_candidate(expr * t, bool form_ctx) { in save_candidate() function