Lines Matching refs:rep_graph
13 from rep_graph import (mk_graph_slice, vc_num, vc_offs, vc_upto,
15 import rep_graph
140 rep = rep_graph.mk_graph_slice (p)
146 err_pc_hyps = [rep_graph.pc_false_hyp ((('Err', no_loop_restrs), tag))
172 rep = rep_graph.mk_graph_slice (p)
174 err_pc_hyps = [rep_graph.pc_false_hyp ((('Err', no_loop_restrs), tag))
755 rep = rep_graph.mk_graph_slice (p)
776 rep = rep_graph.mk_graph_slice (p, fast = True)
804 eqs = [rep_graph.eq_hyp ((expr,
808 vis_hyp = rep_graph.pc_true_hyp ((vis (n, l_start), l_tag))
821 path_hyps = [rep_graph.pc_true_hyp ((n_vc, l_tag)) for n_vc in n_vcs]
866 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (n, 3), r_tag))
868 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (n, 3), l_tag))
900 ex_hyps = [rep_graph.pc_true_hyp ((vis (n, 1), l_tag)),
901 rep_graph.pc_true_hyp ((vis (n, 2), l_tag))]
1080 return rep_graph.pc_false_hyp (((n, tuple ([(n2, restr)
1246 hyps + [rep_graph.pc_true_hyp ((n_vc, tag)) for n_vc in n_vcs],
1324 mk_thyps = lambda n_vcs: [rep_graph.pc_true_hyp ((n_vc, tag))
1577 rep = rep_graph.mk_graph_slice (p)
1770 vc_opts = rep_graph.vc_options (range (min_v, max_v), [])
1772 vc_opts = rep_graph.vc_options ([], range (min_v, max_v))
1791 rep = rep_graph.mk_graph_slice (p)