Searched refs:mk_pairing_v_eqs (Results 1 - 1 of 1) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dsearch.py645 def mk_pairing_v_eqs (knowledge, pair, endorsed = True): function
1114 pair_eqs = [(pair, mk_pairing_v_eqs (knowledge, pair))
1154 eqs = mk_pairing_v_eqs (knowledge, pair, endorsed = False)

Completed in 32 milliseconds