63 ??.empty, Safe, true) ########## OK von loc_ uebernommen |
63 ??.empty, Safe, true) ########## OK von loc_ uebernommen |
64 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
64 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
65 ScrState ([" |
65 ScrState ([" |
66 (e_, x + 1 = 2)"," |
66 (e_, x + 1 = 2)"," |
67 (v_, x)"], |
67 (v_, x)"], |
68 [R,L,R,L,L,R,R], SOME e_, |
68 [R,L,R,L,L,R,R], SOME e_e, |
69 x + 1 + -1 * 2 = 0, Safe, true) ########## OK*) |
69 x + 1 + -1 * 2 = 0, Safe, true) ########## OK*) |
70 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
70 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
71 |
71 |
72 |
72 |
73 (*val f = "-1 + x = 0"; val nxt = Subproblem ("Test.thy",[#,#,#]) |
73 (*val f = "-1 + x = 0"; val nxt = Subproblem ("Test.thy",[#,#,#]) |
74 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*) |
74 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*) |
75 (*### locate_gen-----------: is= ### next_tac-----------------: E= |
75 (*### locate_gen-----------: is= ### next_tac-----------------: E= |
76 ScrState ([" |
76 ScrState ([" |
77 (e_, x + 1 = 2)"," |
77 (e_, x + 1 = 2)"," |
78 (v_, x)"], |
78 (v_, x)"], |
79 [R,L,R,L,L,R,R], SOME e_, |
79 [R,L,R,L,L,R,R], SOME e_e, |
80 x + 1 + -1 * 2 = 0, Safe, true) ########## OK von loc_ uebernommen |
80 x + 1 + -1 * 2 = 0, Safe, true) ########## OK von loc_ uebernommen |
81 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
81 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
82 ScrState ([" |
82 ScrState ([" |
83 (e_, x + 1 = 2)"," |
83 (e_, x + 1 = 2)"," |
84 (v_, x)"], |
84 (v_, x)"], |
85 [R,L,R,L,R,R], SOME e_, |
85 [R,L,R,L,R,R], SOME e_e, |
86 -1 + x = 0, Safe, false) ########## OK*) |
86 -1 + x = 0, Safe, false) ########## OK*) |
87 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
87 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
88 (*### locate_gen------------: is= ### next_tac-----------------: E= |
88 (*### locate_gen------------: is= ### next_tac-----------------: E= |
89 ScrState ([" |
89 ScrState ([" |
90 (e_, x + 1 = 2)"," |
90 (e_, x + 1 = 2)"," |
91 (v_, x)"], |
91 (v_, x)"], |
92 [R,L,R,L,R,R], SOME e_, |
92 [R,L,R,L,R,R], SOME e_e, |
93 -1 + x = 0, Safe, false) ########## OK von loc_ uebernommen |
93 -1 + x = 0, Safe, false) ########## OK von loc_ uebernommen |
94 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
94 ### solve, after locate_gen: is= ### nxt_solv4 Apply_Method: stored is = |
95 ScrState ([" |
95 ScrState ([" |
96 (e_, -1 + x = 0)"," |
96 (e_, -1 + x = 0)"," |
97 (v_, x)"], |
97 (v_, x)"], |
98 [R,R,D,L,R], SOME e_, |
98 [R,R,D,L,R], SOME e_e, |
99 Subproblem (Test.thy, [linear, univariate, equation, test]), Safe, true) |
99 Subproblem (Test.thy, [linear, univariate, equation, test]), Safe, true) |
100 ########## OK*) |
100 ########## OK*) |
101 p; |
101 p; |
102 writeln(istate2str (get_istate pt ([3],Frm))); |
102 writeln(istate2str (get_istate pt ([3],Frm))); |
103 (*val nxt = ("Model_Problem",Model_Problem ["linear","univariate","equation"]*) |
103 (*val nxt = ("Model_Problem",Model_Problem ["linear","univariate","equation"]*) |