Searched refs:get_args (Results 1 - 6 of 6) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py622 self.get_conts (), self.get_args ())
638 self.get_args () == other.get_args ()])
643 def get_args (self): member in class:Node
H A Dpseudo_compile.py431 return Node (node.kind, new_conts, node.get_args ())
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dcall_graph_utils.py19 call_targs = [g.nodes[x].get_args()[0] for x in call_node_indexes]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DfunCall.sml331 fun get_args argL = function
433 get_args (pair2list callee_ins),
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DfunCall.sml334 fun get_args argL = function
436 get_args (pair2list callee_ins),
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DfunCall.sml346 fun get_args argL = function

Completed in 148 milliseconds