1.1 --- a/test/Tools/isac/Frontend/use-cases.sml Thu Nov 21 17:31:20 2013 +0100
1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml Thu Nov 21 18:12:17 2013 +0100
1.3 @@ -95,7 +95,7 @@
1.4 CalcTree (*start of calculation, return No.1*)
1.5 [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
1.6 ("Test",
1.7 - ["linear","univariate","equation","test"],
1.8 + ["LINEAR","univariate","equation","test"],
1.9 ["Test","solve_linear"]))];
1.10 Iterator 1; (*create an active Iterator on CalcTree No.1*)
1.11
1.12 @@ -127,7 +127,7 @@
1.13 *-----since Model_Problem + complete_mod_ in case cas of SOME-----*)
1.14
1.15 fetchProposedTactic 1;
1.16 - setNextTactic 1 (Specify_Problem ["linear","univariate","equation","test"]);
1.17 + setNextTactic 1 (Specify_Problem ["LINEAR","univariate","equation","test"]);
1.18 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.19 (*-------------------------------------------------------------------------*)
1.20 fetchProposedTactic 1;
1.21 @@ -163,7 +163,7 @@
1.22 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.23
1.24 fetchProposedTactic 1;
1.25 - setNextTactic 1 (Check_Postcond ["linear","univariate","equation","test"]);
1.26 + setNextTactic 1 (Check_Postcond ["LINEAR","univariate","equation","test"]);
1.27 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.28
1.29 val ((pt,_),_) = get_calc 1;
1.30 @@ -254,7 +254,7 @@
1.31
1.32 fetchProposedTactic 1;(*----------------Subproblem--------------------*);
1.33 setNextTactic 1 (Subproblem ("Test",
1.34 - ["linear","univariate","equation","test"]));
1.35 + ["LINEAR","univariate","equation","test"]));
1.36 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.37
1.38 fetchProposedTactic 1;
1.39 @@ -278,7 +278,7 @@
1.40 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.41
1.42 fetchProposedTactic 1;
1.43 - setNextTactic 1 (Specify_Problem ["linear","univariate","equation","test"]);
1.44 + setNextTactic 1 (Specify_Problem ["LINEAR","univariate","equation","test"]);
1.45 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.46 "2-----------------------------------------------------------------";
1.47
1.48 @@ -299,7 +299,7 @@
1.49 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.50
1.51 fetchProposedTactic 1;
1.52 - setNextTactic 1 (Check_Postcond ["linear","univariate","equation","test"]);
1.53 + setNextTactic 1 (Check_Postcond ["LINEAR","univariate","equation","test"]);
1.54 autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
1.55
1.56 fetchProposedTactic 1;
1.57 @@ -380,7 +380,7 @@
1.58 CalcTree
1.59 [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
1.60 ("Test",
1.61 - ["linear","univariate","equation","test"],
1.62 + ["LINEAR","univariate","equation","test"],
1.63 ["Test","solve_linear"]))];
1.64 Iterator 1;
1.65 moveActiveRoot 1;
1.66 @@ -404,7 +404,7 @@
1.67 CalcTree
1.68 [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
1.69 ("Test",
1.70 - ["linear","univariate","equation","test"],
1.71 + ["LINEAR","univariate","equation","test"],
1.72 ["Test","solve_linear"]))];
1.73 Iterator 1;
1.74 moveActiveRoot 1;
1.75 @@ -474,16 +474,16 @@
1.76 CalcTree
1.77 [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
1.78 ("Test",
1.79 - ["linear","univariate","equation","test"],
1.80 + ["LINEAR","univariate","equation","test"],
1.81 ["Test","solve_linear"]))];
1.82 Iterator 1;
1.83 moveActiveRoot 1;
1.84 autoCalculate 1 CompleteModel;
1.85 refFormula 1 (get_pos 1 1);
1.86
1.87 -setProblem 1 ["linear","univariate","equation","test"];
1.88 +setProblem 1 ["LINEAR","univariate","equation","test"];
1.89 val pos = get_pos 1 1;
1.90 -setContext 1 pos (kestoreID2guh Pbl_["linear","univariate","equation","test"]);
1.91 +setContext 1 pos (kestoreID2guh Pbl_["LINEAR","univariate","equation","test"]);
1.92 refFormula 1 (get_pos 1 1);
1.93
1.94 setMethod 1 ["Test","solve_linear"];
1.95 @@ -491,7 +491,7 @@
1.96 refFormula 1 (get_pos 1 1);
1.97 val ((pt,_),_) = get_calc 1;
1.98 if get_obj g_spec pt [] = ("e_domID",
1.99 - ["linear", "univariate","equation","test"],
1.100 + ["LINEAR", "univariate","equation","test"],
1.101 ["Test","solve_linear"]) then ()
1.102 else error "FE-interface.sml: diff.behav. in setProblem, setMethod";
1.103
1.104 @@ -628,7 +628,7 @@
1.105 autoCalculate 1 (Step 1); fetchProposedTactic 1;
1.106 setNextTactic 1 (Specify_Theory "PolyEq");
1.107 (*------------- some trials in the problem-hierarchy ---------------*)
1.108 - setNextTactic 1 (Specify_Problem ["linear","univariate","equation"]);
1.109 + setNextTactic 1 (Specify_Problem ["LINEAR","univariate","equation"]);
1.110 autoCalculate 1 (Step 1); fetchProposedTactic 1; (*<ERROR> helpless </ERROR> !!!*)
1.111 setNextTactic 1 (Refine_Problem ["univariate","equation"]);
1.112 (*------------------------------------------------------------------*)
1.113 @@ -708,11 +708,11 @@
1.114 "--------- this is a matching model (all items correct): -------";
1.115 checkContext 1 ([],Pbl) (kestoreID2guh Pbl_ ["univariate","equation"]);
1.116 "--------- this is a NOT matching model (some 'false': ---------";
1.117 -checkContext 1 ([],Pbl)(kestoreID2guh Pbl_ ["linear","univariate","equation"]);
1.118 +checkContext 1 ([],Pbl)(kestoreID2guh Pbl_ ["LINEAR","univariate","equation"]);
1.119
1.120 "--------- find out a matching problem: ------------------------";
1.121 "--------- find out a matching problem (FAILING: no new pbl) ---";
1.122 - refineProblem 1([],Pbl)(pblID2guh ["linear","univariate","equation"]);
1.123 + refineProblem 1([],Pbl)(pblID2guh ["LINEAR","univariate","equation"]);
1.124
1.125 "--------- find out a matching problem (SUCCESSFUL) ------------";
1.126 refineProblem 1 ([],Pbl) (pblID2guh ["univariate","equation"]);
1.127 @@ -928,7 +928,7 @@
1.128 "--------- solve_linear from pbl-hierarchy --------------";
1.129 "--------- solve_linear from pbl-hierarchy --------------";
1.130 "--------- solve_linear from pbl-hierarchy --------------";
1.131 - val (fmz, sp) = ([], ("", ["linear","univariate","equation","test"], []));
1.132 + val (fmz, sp) = ([], ("", ["LINEAR","univariate","equation","test"], []));
1.133 CalcTree [(fmz, sp)];
1.134 Iterator 1; moveActiveRoot 1;
1.135 refFormula 1 (get_pos 1 1);
1.136 @@ -936,7 +936,7 @@
1.137 [Given ["equality (1+-1*2+x=(0::real))", "solveFor x"],
1.138 Find ["solutions L"]],
1.139 Pbl,
1.140 - ("Test", ["linear","univariate","equation","test"],
1.141 + ("Test", ["LINEAR","univariate","equation","test"],
1.142 ["Test","solve_linear"]));
1.143 autoCalculate 1 CompleteCalc;
1.144 refFormula 1 (get_pos 1 1);
1.145 @@ -1074,7 +1074,7 @@
1.146 CalcTree (*start of calculation, return No.1*)
1.147 [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
1.148 ("Test",
1.149 - ["linear","univariate","equation","test"],
1.150 + ["LINEAR","univariate","equation","test"],
1.151 ["Test","solve_linear"]))];
1.152 Iterator 1; moveActiveRoot 1;
1.153