Searched defs:get_entry (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py124 def get_entry (self, tag): member in class:Problem
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DGraph.sml28 val get_entry: 'a T -> key -> key * ('a * (Keys.T * Keys.T)) (*exception UNDEF*) value
130 fun get_entry (Graph tab) x = function

Completed in 39 milliseconds