Searched refs:get_vals (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py192 def get_vals (self): member in class:Hyp
H A Dsearch.py1533 if pred in h.get_vals ()]

Completed in 61 milliseconds