Searched refs:add_function (Results 1 - 1 of 1) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | problem.py | 81 def add_function (self, fun, tag, node_renames, loop_id = None): member in class:Problem
105 (ns, vs) = self.add_function (fun, tag, {})
729 (ns, vs) = p.add_function (fun, tag, {'Ret': ex})
|
Completed in 43 milliseconds