5 10 20 30 40 50 60 70 80 90 100 |
5 10 20 30 40 50 60 70 80 90 100 |
6 *) |
6 *) |
7 |
7 |
8 structure Solve = |
8 structure Solve = |
9 struct |
9 struct |
10 (*open Ctree;*) |
10 open Ctree; |
11 |
11 |
12 fun safe (ScrState (_,_,_,_,s,_)) = s |
12 fun safe (ScrState (_,_,_,_,s,_)) = s |
13 | safe (RrlsState _) = Safe; |
13 | safe (RrlsState _) = Safe; |
14 |
14 |
15 type mstID = string; |
15 type mstID = string; |
135 "Specify_Theory","Specify_Problem","Specify_Method"]; |
135 "Specify_Theory","Specify_Problem","Specify_Method"]; |
136 |
136 |
137 |
137 |
138 |
138 |
139 fun step2taci ((tac_, _, pt, p, _) : Lucin.step) = (*FIXXME.040312: redesign step*) |
139 fun step2taci ((tac_, _, pt, p, _) : Lucin.step) = (*FIXXME.040312: redesign step*) |
140 (Lucin.tac_2tac tac_, tac_, (p, get_loc pt p)): Generate.taci; |
140 (Lucin.tac_2tac tac_, tac_, (p, Ctree.get_loc pt p)): Generate.taci; |
141 |
141 |
142 |
142 |
143 (*FIXME.WN050821 compare solve ... nxt_solv*) |
143 (*FIXME.WN050821 compare solve ... nxt_solv*) |
144 (* val ("Apply_Method",Apply_Method' (mI,_))=(mI,m); |
144 (* val ("Apply_Method",Apply_Method' (mI,_))=(mI,m); |
145 val (("Apply_Method",Apply_Method' (mI,_,_)),pt, pos as (p,_))=(m,pt, pos); |
145 val (("Apply_Method",Apply_Method' (mI,_,_)),pt, pos as (p,_))=(m,pt, pos); |