Lines Matching defs:logic
21 import logic
226 subproofs = logic.azip (subproblems, self.subproofs)
398 return lambda exp: logic.var_subst (exp, {('%i', word32T) : v},
401 return logic.inst_eq_at_visit (exp, visit)
575 return lambda exp: logic.var_subst (exp, {('%i', word32T) : v},
587 for exp in eqs if logic.inst_eq_at_visit (exp, visit_num)]
724 for (subprob, subproof) in logic.azip (subproblems, proof.subproofs):
811 t = logic.var_subst (t, {('%i', word32T) : v}, must_subst = False)
898 xs = logic.azip (subproblems, proof.subproofs)
899 xs = logic.azip (xs, cases)