Searched refs:save_satisfaction (Results 1 – 3 of 3) sorted by relevance
2324 save_satisfaction (tree constr, tree args, tree result) in save_satisfaction() function2363 save_satisfaction (constr, args, result); in save()
133 (get_satisfaction, save_satisfaction): Remove.
1889 (save_satisfaction): New. Caches a satisfaction result.