Searched refs:get_loop_splittables (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py237 splits = self.get_loop_splittables (head)
241 def get_loop_splittables (self, head): member in class:Problem
H A Dlogic.py1005 if n2 == n or n2 in p.get_loop_splittables (n):

Completed in 40 milliseconds