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

/seL4-l4v-master/graph-refine/
H A Dstats.py125 i_j_opts = search.mk_i_j_opts (unfold_limit = window_size)
143 if not search.mk_i_j_opts (unfold_limit = i):
H A Dsearch.py702 return mk_i_j_opts (unfold_limit = unfold_limit)
704 def mk_i_j_opts (i_seq_opts = None, j_seq_opts = None, unfold_limit = 9): function
813 return mk_i_j_opts ([(l_start + i, l_step)

Completed in 40 milliseconds