+
+
+
+
+
+
+In [3]:
+
+
+
+
+
+(*我們先假設 P (i,j)，意思是當裡面有 i 行文，j 張圖的時候，存放的分頁資訊，其型別為 Pagination*)
+type pagination = {mutable isPagizable : bool; noOfPages : int; predecessor : int * int};;
+
+
+
+
+
+
+
+
+Out[3]:
+
+
+type pagination = {
+ mutable isPagizable : bool;
+ noOfPages : int;
+ predecessor : int * int;
+}
+
+
+
+
+
+
+
+
+In [4]:
+
+
+
+
+
+let t = 300;; (* 行數 *)
+let f = 20;; (* 圖數 *)
+
+let maxHeight = 25.0;;
+let minHeight = 20.0;;
+
+(*行屬性：height 高度，spaceHeight 其後空白高度，isPagizable 其後空白是否可分頁*)
+type line = {height : float; spaceHeight : float; mutable isPagizable : bool};;
+
+let tArray = Array.make (t+1) {height = 0.8; spaceHeight = 0.7; isPagizable = true};;
+
+let fArray = Array.make (t+1) {height = 12.0; spaceHeight = 1.1; isPagizable = true};;
+
+(*tArray與fArray 第0行是空行*)
+let _ = tArray.(0) <- {height = 0.0; spaceHeight = 0.0; isPagizable = false} in
+let _ = fArray.(0) <- {height = 0.0; spaceHeight = 0.0; isPagizable = false} in
+for i = 1 to t do
+ if i / 9 == 3 then
+ let _ = tArray.(i).isPagizable <- false in ()
+ else
+ ()
+done
+
+
+
+
+
+
+
+
+Out[4]:
+
+
+val t : int = 300 ++
+
+Out[4]:
+
+
+val f : int = 20 ++
+
+Out[4]:
+
+
+val maxHeight : float = 25. ++
+
+Out[4]:
+
+
+val minHeight : float = 20. ++
+
+Out[4]:
+
+
+type line = {
+ height : float;
+ spaceHeight : float;
+ mutable isPagizable : bool;
+}
+
+
+
+Out[4]:
+
+
+val tArray : line array =
+ [|{height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = true};
+ {height = 0.8; spaceHeight = 0.7; isPagizable = ...}; ...|]
+
+
+
+Out[4]:
+
+
+val fArray : line array =
+ [|{height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = true};
+ {height = 12.; spaceHeight = 1.1; isPagizable = ...}; ...|]
+
+
+
+Out[4]:
+
+
+- : unit = () ++
+
+
+
+
+
+
+In [5]:
+
+
+
+
+
+(*連 p 0 0 都要加進去所以需要輸入 t+1 和 f+1 的矩陣*)
+let p = Array.make (t+1) (Array.make (f+1) {isPagizable = false; noOfPages = -1; predecessor=(-1,-1)});;
+
+
+
+
+
+
+
+
+Out[5]:
+
+
+val p : pagination array array =
+ [|[|{isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)}|];
+ [|{isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)}|];
+ [|{isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = ...; predecessor = ...}; ...|];
+ ...|]
+
+
+
+
+
+
+
+
+In [6]:
+
+
+
+
+
+let nil = -1;; (*condition value*)
+
+
+(* 圖片 k 對到哪一個文字*)
+let referId k =
+if k < 1 then 1
+else if k < 3 then 20
+else if k < 6 then 40
+else if k==7 then 42
+else if k < 10 then 70
+else if k == 11 then 80
+else if k < 15 then 112
+else if k == 16 then 120
+else if k == 17 then 130
+else 179
+
+(*組頁*)
+let makeOnePage (p : pagination array array) a b i j =
+ if a == i && b == j then false
+ else if p.(i).(j).isPagizable == false then false
+ else if referId j < i then false
+ else
+ let textHeight = Array.fold_right (+.) (Array.map (fun x -> x.height) (Array.sub tArray (a+1) (i-a))) 0.0 in
+ let textSpaceHeight = Array.fold_right (+.) (Array.map (fun x -> x.height) (Array.sub tArray (a+1) (i-a-1))) 0.0 in
+ let figHeight = Array.fold_right (+.) (Array.map (fun x -> x.height) (Array.sub fArray (a+1) (i-a))) 0.0 in
+ let figSpaceHeight = Array.fold_right (+.) (Array.map (fun x -> x.height) (Array.sub tArray (a+1) (i-a-1))) 0.0 in
+ let inputHeight = textHeight +. textSpaceHeight +. figHeight +. figSpaceHeight in
+ if inputHeight > maxHeight then false
+ else if inputHeight < minHeight then false
+ else true;;
+
+(*以下是分頁程式*)
+let pagize p =
+let _ = p.(0).(0) <- {isPagizable = true; noOfPages = 0; predecessor = (nil , nil)} in
+for i=0 to t do
+for j=0 to f do
+ for a = 1 to i do
+ for b = 1 to j do
+ let canMakeOnePage = makeOnePage p a b i j in
+ if canMakeOnePage then
+ let _ = p.(i).(j).isPagizable <- true in
+ ()
+ else
+ ()
+ done
+ done
+done
+done;;
+
+pagize p;;
+
+p;;
+
+
+
+
+
+
+
+
+Out[6]:
+
+
+val nil : int = -1 ++
+
+Out[6]:
+
+
+val referId : int -> int = <fun> ++
+
+Out[6]:
+
+
+val makeOnePage : pagination array array -> int -> int -> int -> int -> bool = + <fun> ++
+
+Out[6]:
+
+
+val pagize : pagination array array -> unit = <fun> ++
+
+Out[6]:
+
+
+- : unit = () ++
+
+Out[6]:
+
+
+- : pagination array array =
+[|[|{isPagizable = true; noOfPages = 0; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)}|];
+ [|{isPagizable = true; noOfPages = 0; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)}|];
+ [|{isPagizable = true; noOfPages = 0; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = -1; predecessor = (-1, -1)};
+ {isPagizable = false; noOfPages = ...; predecessor = ...}; ...|];
+ ...|]
+
+
+
+
+
+
+
+
+
+In [ ]:
+
+
+
+
+
+let costFuncOfPredecessor p i j pred =
+ let tracePage = ref [(i, j)] in
+ let movablePred = ref pred in
+
+ let _ =
+ while !movablePred != (-1, -1) do
+ let _ = tracePage := !movablePred :: !tracePage in
+ let (x, y) = !movablePred in
+ let _ = tracePage := [p.(x).(y).predecessor] in ()
+ (*let _ = movablePred := p.(x).(y).predecessor in ()*)
+ done
+ in !tracePage;;
+
+costFuncOfPredecessor p 200 15 (199, 14);;
+