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

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

Completed in 37 milliseconds