Searched refs:pc_triv_hyp (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py481 return rep_graph.pc_triv_hyp (((n, (restr, ) + restrs),
528 rpc_triv_hyp = rep_graph.pc_triv_hyp (r_visit)
546 rep_graph.pc_triv_hyp (r_cont)] + hyps
H A Drep_graph.py295 def pc_triv_hyp (vis): function
H A Dsearch.py866 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (n, 3), r_tag))
868 hyps = hyps + [rep_graph.pc_triv_hyp ((vis (n, 3), l_tag))

Completed in 48 milliseconds