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

/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py595 return rep_graph.true_if_at_hyp (pred, vis)
645 goal = rep_graph.true_if_at_hyp (pred, cont)
657 true_next = rep_graph.true_if_at_hyp (pred, cont)
662 goal = rep_graph.true_if_at_hyp (pred, curr)
H A Drep_graph.py282 def true_if_at_hyp (expr, vis, induct = None): function

Completed in 56 milliseconds