Searched refs:var_rep_request (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/graph-refine/ |
| H A D | rep_graph.py | 440 z = self.var_rep_request ((nm, typ), 'Loop',
625 def var_rep_request (self, (nm, typ), kind, n_vc, env): member in class:GraphSlice
715 z = self.var_rep_request ((x, typ),
1217 z = rep.var_rep_request ((v_nm, typ), 'Init', (n, ()), inp_env)
|
Completed in 81 milliseconds