Lines Matching refs:search
1 import check,search,problem,syntax,solver,logic,rep_graph,re
8 from search import eval_model_expr
30 """performs a binary search between minimum and maximum, but does not start
71 #naive binary search to find loop bounds
105 #do a downward binary search to find the concrete loop bound
185 standard = set (search.mk_seq_eqs (p, split, 1, with_rodata = False))
189 cands = search.mk_seq_eqs (p, split, 1, with_rodata = False)
223 standard = set (search.mk_seq_eqs (p, split, 1, with_rodata = False))
258 vas = search.get_loop_var_analysis_at(p, split)
486 if len (search.get_loop_entry_sites (rep, restrs, hyps, split)) != 1:
504 # try a naive bin search first
531 # let the naive bin search go a bit further
539 c_heads = [h for h in search.init_loops_to_split (p, restrs)
554 split = search.find_split (rep, asm_split, restrs, hyps, i_seq_opts,
917 if args == ['search']: