Lines Matching refs:rep_graph
14 import rep_graph
155 err_vis_opts = rep_graph.vc_options ([0, 1, 2], [1])
159 free_hyps.append (rep_graph.pc_false_hyp (err_vis))
178 restrs = tuple ([(l_id, rep_graph.vc_offs (0))])
180 restrs = tuple ([(l_id, rep_graph.vc_offs (1))])
197 return rep_graph.pc_true_hyp (get_vis (rep.p, n,
255 hyps = rep_graph.mk_function_link_hyps (p, vis, to_tags['ASM'],
262 hyps += rep_graph.mk_function_link_hyps (p, vis, to_tags['C'])
324 from rep_graph import eq_hyp
482 rep = rep_graph.mk_graph_slice (p)