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

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py1070 def interpret_hyp_imps (self, hyps, concl): member in class:GraphSlice
1082 expr = self.interpret_hyp_imps (hyps, hyp)
1114 interp_imps = list (enumerate ([self.interpret_hyp_imps (hyps,

Completed in 44 milliseconds