Lines Matching refs:pc_true_hyp
11 from rep_graph import mk_graph_slice, Hyp, eq_hyp, pc_true_hyp, pc_false_hyp
340 true_hyps = hyps + [pc_true_hyp (visit)]
430 l_enter = pc_true_hyp (l_visit)
501 init_check = [(hyps, pc_true_hyp (visit (min_vc)),
525 lpc_hyp = pc_true_hyp (l_visit)
545 hyps = ([err_hyp, pc_true_hyp (cont),
602 nhyps = [pc_true_hyp (reach)]
616 hyps = ([pc_true_hyp (cont)] + hyps
642 hyps = (hyps + [n_hyp, pc_true_hyp (cont), non_err]
659 hyps = (hyps + [pc_true_hyp (curr), true_next, non_err]