298 (* at the activeFormula set the Model, the Guard and the Specification to empty |
298 (* at the activeFormula set the Model, the Guard and the Specification to empty |
299 and return a CalcHead; the 'origin' remains (for reconstructing all that) *) |
299 and return a CalcHead; the 'origin' remains (for reconstructing all that) *) |
300 fun resetCalcHead cI = |
300 fun resetCalcHead cI = |
301 (let |
301 (let |
302 val (ptp,_) = get_calc cI |
302 val (ptp,_) = get_calc cI |
303 val ptp = Specification.reset_calchead ptp |
303 val ptp = Specification.reset ptp |
304 in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get_ocalhd ptp)) end) |
304 in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get ptp)) end) |
305 handle _ => sysERROR2xml cI "error in kernel 10"; |
305 handle _ => sysERROR2xml cI "error in kernel 10"; |
306 |
306 |
307 (* at the activeFormula insert all the Descriptions in the Model and return a CalcHead; |
307 (* at the activeFormula insert all the Descriptions in the Model and return a CalcHead; |
308 the Descriptions are for user-guidance; the rest of the items are left empty for user-input *) |
308 the Descriptions are for user-guidance; the rest of the items are left empty for user-input *) |
309 fun modelProblem cI = |
309 fun modelProblem cI = |
310 (let val (ptp, _) = get_calc cI |
310 (let val (ptp, _) = get_calc cI |
311 val ptp = Specification.reset_calchead ptp |
311 val ptp = Specification.reset ptp |
312 val (_, _, ptp) = Step_Specify.by_tactic_input Tactic.Model_Problem ptp |
312 val (_, _, ptp) = Step_Specify.by_tactic_input Tactic.Model_Problem ptp |
313 in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get_ocalhd ptp)) end) |
313 in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get ptp)) end) |
314 handle _ => sysERROR2xml cI "error in kernel 11"; |
314 handle _ => sysERROR2xml cI "error in kernel 11"; |
315 |
315 |
316 (* set the UContext determined on a knowledgebrowser to the current calc |
316 (* set the UContext determined on a knowledgebrowser to the current calc |
317 WN0825: not implemented in isac-java. |
317 WN0825: not implemented in isac-java. |
318 Recalling the state of development after summer-term 2006 (Robert Koenishofer et.al.): |
318 Recalling the state of development after summer-term 2006 (Robert Koenishofer et.al.): |