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

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml47 val del_node: key -> 'a T -> 'a T (*exn UNDEF*) value
206 fun del_node x (G as Graph tab) = function
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dpydot.py1291 def del_node(self, name, index=None): member in class:Graph

Completed in 32 milliseconds