Searched refs:eq_known (Results 1 - 1 of 1) sorted by path
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | search.py | 652 if not endorsed or eq_known (knowledge, (v_i, 'Const')): 658 if eq_known (knowledge, (v_i, v_j))] 665 def eq_known (knowledge, vpair): function |
Completed in 86 milliseconds