Searched refs:get_tag_vcount (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | rep_graph.py | 341 def get_tag_vcount (self, (n, vcount), tag): member in class:GraphSlice
364 tag, vcount = self.get_tag_vcount ((n, vcount), tag)
397 if self.get_tag_vcount (p, None)
589 tag, vcount = self.get_tag_vcount ((n, vcount), None)
804 tag, vc = self.get_tag_vcount (n_vc, tag)
|
Completed in 55 milliseconds