1.1 --- a/src/Tools/isac/calcelems.sml Wed Apr 04 12:41:03 2018 +0200
1.2 +++ b/src/Tools/isac/calcelems.sml Wed Apr 11 14:44:46 2018 +0200
1.3 @@ -598,28 +598,27 @@
1.4
1.5 (* data for methods stored in 'methods'-database*)
1.6 type met =
1.7 - {guh : guh, (*unique within this isac-knowledge *)
1.8 - mathauthors: string list, (*copyright *)
1.9 - init : pblID, (*WN060721 introduced mistakenly--TODO.REMOVE!*)
1.10 - rew_ord' : Rule.rew_ord', (*for rules in Detail
1.11 - TODO.WN0509 store fun itself, see 'type pbt'*)
1.12 - erls : Rule.rls, (*the eval_rls for cond. in rules FIXME "rls'
1.13 - instead erls in "fun prep_met" *)
1.14 - srls : Rule.rls, (*for evaluating list expressions in scr *)
1.15 - prls : Rule.rls, (*for evaluating predicates in modelpattern *)
1.16 - crls : Rule.rls, (*for check_elementwise, ie. formulae in calc.*)
1.17 - nrls : Rule.rls, (*canonical simplifier specific for this met *)
1.18 - errpats : Rule.errpat list,(*error patterns expected in this method *)
1.19 - calc : Rule.calc list, (*Theory_Data in fun prep_met *)
1.20 - (*branch : TransitiveB set in append_problem at generation ob pblobj
1.21 - FIXXXME.0308: set branch from met in Apply_Method ? *)
1.22 - ppc : pat list, (*.items in given, find, relate;
1.23 + {guh : guh, (* unique within this isac-knowledge *)
1.24 + mathauthors: string list, (* copyright *)
1.25 + init : pblID, (* WN060721 introduced mistakenly--TODO.REMOVE! *)
1.26 + rew_ord' : Rule.rew_ord', (* for rules in Detail
1.27 + TODO.WN0509 store fun itself, see 'type pbt' *)
1.28 + erls : Rule.rls, (* the eval_rls for cond. in rules FIXME "rls'
1.29 + instead erls in "fun prep_met" *)
1.30 + srls : Rule.rls, (* for evaluating list expressions in scr *)
1.31 + prls : Rule.rls, (* for evaluating predicates in modelpattern *)
1.32 + crls : Rule.rls, (* for check_elementwise, ie. formulae in calc. *)
1.33 + nrls : Rule.rls, (* canonical simplifier specific for this met *)
1.34 + errpats : Rule.errpat list,(* error patterns expected in this method *)
1.35 + calc : Rule.calc list, (* Theory_Data in fun prep_met *)
1.36 + (*branch : TransitiveB set in append_problem at generation ob pblobj *)
1.37 + ppc : pat list, (* items in given, find, relate;
1.38 items (in "#Find") which need not occur in the arg-list of a SubProblem
1.39 are 'copy-named' with an identifier "*'.'".
1.40 copy-named items are 'generating' if they are NOT "*'''" ?WN120516??
1.41 - see ME/calchead.sml 'fun is_copy_named'. *)
1.42 - pre : term list, (*preconditions in where *)
1.43 - scr : Rule.scr (*prep_met gets progam or string "empty_script" *)
1.44 + see ME/calchead.sml 'fun is_copy_named'. *)
1.45 + pre : term list, (* preconditions in where *)
1.46 + scr : Rule.scr (* prep_met gets progam or string "empty_script" *)
1.47 };
1.48 val e_met = {guh = "met_empty", mathauthors = [], init = e_metID, rew_ord' = "e_rew_ord'",
1.49 erls = Rule.e_rls, srls = Rule.e_rls, prls = Rule.e_rls, calc = [], crls = Rule.e_rls,