Searched defs:get_node (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml29 val get_node: 'a T -> key -> 'a (*exception UNDEF*) value
140 fun get_node G = #1 o #2 o get_entry G; function
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dpydot.py1324 def get_node(self, name): member in class:Graph

Completed in 38 milliseconds