Lines Matching refs:test_hyp_whyps
97 res = rep.test_hyp_whyps (hyp, hyps)
178 if rep.test_hyp_whyps (pc, hyps + err_pc_hyps):
180 if rep.test_hyp_whyps (mk_not (pc), hyps + err_pc_hyps):
765 assert rep.test_hyp_whyps (imp, [])
812 if rep.test_hyp_whyps (eq, vis_hyps, model = m):
822 if rep.test_hyp_whyps (eq, stuff['hyps'] + path_hyps):
902 res = rep.test_hyp_whyps (eq, hyps + ex_hyps, model = m)
1058 rep.test_hyp_whyps (true_term, hyps)
1626 return rep.test_hyp_whyps (hyp, hyps)
1656 if rep.test_hyp_whyps (mk_not (loop_cond), hyps):
1662 if not rep.test_hyp_whyps (hyp, hyps):
1793 if rep.test_hyp_whyps (pc, hyps):
1795 elif rep.test_hyp_whyps (mk_not (pc), hyps):