Lines Matching refs:search
16 import search
118 if search.eval_model_expr (m, rep.solv,
154 r = search.eval_model (m, x)
343 v = search.eval_model (m, sx)
367 v = search.eval_model_expr (m, solv, expr)
503 offs = search.eval_model_expr (m, rep.solv, offs)
508 data = [(addr, search.eval_model_expr (m, rep.solv,
550 ev = search.eval_model (m, s_x)
689 proof = search.last_proof[0]
700 proof = search.last_proof[0]
771 for n in search.init_loops_to_split (p, ()):
773 search.get_loop_var_analysis_at (p, n))
781 va = search.get_loop_var_analysis_at (p, n)
825 va = search.get_loop_var_analysis_at (p, n)
839 [head] = [n for n in search.init_loops_to_split (p, ())
846 res = search.find_split_loop (p, head, restrs, hyps,