Searched refs:get_func_pairing (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Ddebug.py229 if not rep.get_func_pairing (l_n_vc, r_n_vc):
278 if rep.get_func_pairing (n_vc, n_vc2)]
H A Drep_graph.py797 if self.get_func_pairing (n_vc, n_vc2):
828 def get_func_pairing (self, n_vc, n_vc2): member in class:GraphSlice
847 (pair, l_n_vc, r_n_vc) = self.get_func_pairing (n_vc, n_vc2)

Completed in 62 milliseconds