Lines Matching defs:logic
21 import logic
137 poss = logic.possible_graph_divs (p)
142 pc_map = logic.dict_list ([(rep.get_pc ((c, ())), c)
151 id_n_map = logic.dict_list ([(i, n) for (pc, i) in pc_ids.iteritems ()
235 groups = logic.dict_list ([((k, ev (v)), v)
243 groups = logic.dict_list ([(k, v) for (v, k) in v_ids.iteritems ()])
440 mk_implies (pc_i, logic.mk_eq_with_cast (v_i, v_j))]]
732 res = logic.interesting_linear_series_exprs (p, head,
962 l_visited_ns_vcs = logic.dict_list ([(n, vc)
971 in logic.interesting_node_exprs (p, n, tags = tags)
989 val_interesting_map = logic.dict_list ([((kind, eval (expr, n, vc)), n)
1049 premise = logic.weaken_assert (premise)
1264 data = logic.dict_list ([(tuple (entry_path_no_loops (rep,
1358 eqs.append (logic.mk_rodata (var))
1452 return split_linear_eq (logic.mk_array_size_ineq (typ, num, p))
1461 return logic.possibly_linear (lhs) and logic.possibly_linear (rhs)
1473 offs = logic.get_loop_linear_offs (p, loop_head)
1500 return [cond for conj in logic.split_conjuncts (expr)
1510 less_eq = logic.mk_array_size_ineq (typ, num, p)
1511 assn = logic.mk_align_valid_ineq (('Array', typ, num), p)
1570 for assn in logic.split_conjuncts (mk_not (err_cond))
1591 res = logic.binary_search_least (less_test, 1, large)
1594 res = logic.binary_search_greatest (ge_test, 0, large)
1737 for ((restrs, hyps, name), hints) in logic.azip (probs, restr_hints):