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

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml50 val del_edge: key * key -> 'a T -> 'a T (*exn UNDEF*) value
232 fun del_edge (x, y) G = function
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dpydot.py1394 def del_edge(self, src_or_list, dst=None, index=None): member in class:Graph

Completed in 34 milliseconds