Lines Matching refs:jj3
736 value find_block_with_parents t i jj1 jj2 jj3 jj4 =
737 loop i jj1 jj2 jj3 jj4 where rec loop ii jj1 jj2 jj3 jj4 =
739 find_same_parents t i jj1 jj2 jj3 jj4
741 if nii <> ii || njj1 <> jj1 || njj2 <> jj2 || njj3 <> jj3 || njj4 <> jj4
744 let (jj1, jj2, jj3, jj4) =
747 if njj1 <> jj1 || njj2 <> jj2 || njj3 <> jj3 || njj4 <> jj4 then
748 loop nii jj1 jj2 jj3 jj4
749 else (nii, jj1, jj2, jj3, jj4)
750 else (ii, jj1, jj2, jj3, jj4)
771 let jj3 = j in
783 let (ii, jj1, jj2, jj3, jj4) =
784 find_block_with_parents t i jj1 jj2 jj3 jj4
786 if jj4 < j2 && jj2 < jj3 then do {
787 exch_blocks t ii i jj1 jj2 jj3 jj4; loop (jj4 + 1)
814 let jj3 = j + 1 in
827 let (ii, jj1, jj2, jj3, jj4) =
828 find_block_with_parents t i jj1 jj2 jj3 jj4
830 if jj1 > j1 && jj2 < jj3 then do {
831 exch_blocks t ii i jj1 jj2 jj3 jj4; loop (jj1 - 1)
833 else if jj1 > j1 && jj4 = ini_jj4 && jj3 >= jj1 then do {