Lines Matching refs:rep_graph
12 import rep_graph
28 general = [(n2, rep_graph.vc_options ([0], [1]))
31 specific = [(head, rep_graph.vc_offs (1)) for _ in [1] if head]
170 hyp = rep_graph.pc_false_hyp ((default_n_vc (p, n), tag))
181 rep = rep_graph.mk_graph_slice (p, fast = True)
201 hyp = rep_graph.pc_true_hyp ((n_vc, p.node_tags[n][0]))
647 rep = rep_graph.mk_graph_slice (p, fast = True)
737 rep = rep_graph.mk_graph_slice (p, fast = True)
738 err_hyp = rep_graph.pc_false_hyp ((default_n_vc (p, 'Err'), 'Target'))
748 hyps = [err_hyp, rep_graph.eq_hyp ((cond, e_vis),
877 return rep_graph.mk_function_link_hyps (p, call_vis, tag)
909 rep = rep_graph.mk_graph_slice (p, fast = True)
931 ass = rep_graph.eq_hyp ((arg, entry_vis), (val, entry_vis))
947 rep = rep_graph.mk_graph_slice (p, fast = True)