197 then |
197 then |
198 let val (pt',c',p') = generate tacis (pt,[],p) |
198 let val (pt',c',p') = generate tacis (pt,[],p) |
199 in ("ok", (tacis, c', (pt', p'))) end |
199 in ("ok", (tacis, c', (pt', p'))) end |
200 else (case (if member op = [Pbl,Met] p_ |
200 else (case (if member op = [Pbl,Met] p_ |
201 then nxt_specify_ (pt,ip) else nxt_solve_ (pt,ip)) |
201 then nxt_specify_ (pt,ip) else nxt_solve_ (pt,ip)) |
202 handle _ => ([],[],ptp)(*e.g. Add_Given "equality///"*) of |
202 handle ERROR msg => (writeln ("*** " ^ msg); |
|
203 ([],[],ptp))(*e.g. Add_Given "equality///"*) of |
203 cs as ([],_,_) => ("helpless", cs) |
204 cs as ([],_,_) => ("helpless", cs) |
204 | cs => ("ok", cs)) |
205 | cs => ("ok", cs)) |
205 | _ => (case pIopt of |
206 | _ => (case pIopt of |
206 NONE => ("no-fmz-spec", ([], [], ptp)) |
207 NONE => ("no-fmz-spec", ([], [], ptp)) |
207 | SOME pI => |
208 | SOME pI => |
208 (case (if member op = [Pbl,Met] p_ |
209 (case (if member op = [Pbl,Met] p_ |
209 andalso is_none (get_obj g_env pt (fst p)) |
210 andalso is_none (get_obj g_env pt (fst p)) |
210 (*^^^^^^^^: Apply_Method without init_form*) |
211 (*^^^^^^^^: Apply_Method without init_form*) |
211 then nxt_specify_ (pt, ip) |
212 then nxt_specify_ (pt, ip) |
212 else nxt_solve_ (pt,ip) ) |
213 else nxt_solve_ (pt,ip) ) |
213 handle _ => ([],[],ptp)(*e.g.by Add_Giv"equality///"*) of |
214 handle ERROR msg => (writeln ("*** " ^ msg); |
|
215 ([],[],ptp))(*e.g. Add_Given "equality///"*) of |
214 cs as ([],_,_) =>("helpless", cs)(*FIXXMEdel.handle*) |
216 cs as ([],_,_) =>("helpless", cs)(*FIXXMEdel.handle*) |
215 | cs => ("ok", cs))) |
217 | cs => ("ok", cs))) |
216 end; |
218 end; |
217 |
219 |
218 (*.does several steps within one calculation as given by "type auto"; |
220 (*.does several steps within one calculation as given by "type auto"; |