Searched refs:is_reachable_from (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py336 return all ([p.is_reachable_from (addrs[i], addrs[j]) or
337 p.is_reachable_from (addrs[j], addrs[i])
H A Dproblem.py439 def is_reachable_from (self, source, target): member in class:Problem
442 k = ('is_reachable_from', source)
H A Dcheck.py448 if p.is_reachable_from (n, lh)
H A Drep_graph.py335 return self.p.is_reachable_from (split, n)
H A Dsearch.py1633 and p.is_reachable_from (n2, n)]]
1645 if p.is_reachable_from (sp, n)]

Completed in 51 milliseconds