Searched refs:node_count_name (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/graph-refine/ |
| H A D | debug.py | 160 rep.node_count_name (n_vc))
315 l_nm = "%s @ %s" % (rep.p.nodes[l_n_vc[0]].fname, rep.node_count_name (l_n_vc))
316 r_nm = "%s @ %s" % (rep.p.nodes[r_n_vc[0]].fname, rep.node_count_name (r_n_vc))
385 n_nm = rep.node_count_name ((n, vc))
556 n_nm = rep.node_count_name ((n, vc))
571 rep.node_count_name ((n, vc)))
593 print '%s:' % (rep.node_count_name ((n, vc)))
|
| H A D | rep_graph.py | 636 self.node_count_name (n_vc))
870 def node_count_name (self, (n, vcount)): member in class:GraphSlice
938 return '%s_after_%s' % (s, self.node_count_name (n_vc))
941 return '%s_v_at_%s' % (s, self.node_count_name (n_vc))
944 return 'cond_at_%s' % self.node_count_name (n_vc)
948 self.node_count_name (n_vc), tag)
958 return '%s_success_at_%s' % (nm, self.node_count_name (n_vc))
|
Completed in 42 milliseconds