44 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
44 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
45 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
45 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
46 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
46 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
47 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Subproblem",*) |
47 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Subproblem",*) |
48 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Model_Problem",*) |
48 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Model_Problem",*) |
49 "~~~~~ fun me, args:"; val (_,tac) = nxt; |
49 "~~~~~ fun me, args:"; val (tac) = nxt; |
50 val (pt, p) = case locatetac tac (pt,p) of |
50 val (pt, p) = case locatetac tac (pt,p) of |
51 ("ok", (_, _, ptp)) => ptp | _ => error "script.sml locatetac"; |
51 ("ok", (_, _, ptp)) => ptp | _ => error "script.sml locatetac"; |
52 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
52 "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), [])) |
53 val pIopt = get_pblID (pt,ip); |
53 val pIopt = get_pblID (pt,ip); |
54 tacis; (*= []*) |
54 tacis; (*= []*) |