1288 default_print_depth 99;map fst (get_interval ([1],Res) ([],Res) 9999 pt);default_print_depth 3; |
1288 default_print_depth 99;map fst (get_interval ([1],Res) ([],Res) 9999 pt);default_print_depth 3; |
1289 *) |
1289 *) |
1290 if map fst (get_interval ([1],Res) ([],Res) 9999 pt) = |
1290 if map fst (get_interval ([1],Res) ([],Res) 9999 pt) = |
1291 [([1], Res), ([2, 1], Frm), ([2, 1], Res), ([2, 2], Res), ([2, 3], Res), |
1291 [([1], Res), ([2, 1], Frm), ([2, 1], Res), ([2, 2], Res), ([2, 3], Res), |
1292 ([2, 4], Res), ([2, 5], Res), ([2, 6], Res), ([2, 7], Res), |
1292 ([2, 4], Res), ([2, 5], Res), ([2, 6], Res), ([2, 7], Res), |
1293 ([2, 8], Res), ([2, 9], Res), ([2], Res) |
1293 ([2, 8], Res), ([2, 9], Res), ([2], Res)] then () else |
1294 (*WN060727 {cutlevup->test_trans} removed: , |
|
1295 ([], Res)(*dropped, if test_trans doesnt stop at PblNd*)*)] then () else |
|
1296 error "FE-interface.sml: diff.behav. in FORMULA:replace} other 2"; |
1294 error "FE-interface.sml: diff.behav. in FORMULA:replace} other 2"; |
1297 DEconstrCalcTree 1; |
1295 DEconstrCalcTree 1; |
1298 |
1296 |
1299 "--------- replaceFormula {SOL:MAN:FOR:replace} other 2--"; (*UC 30.3.2.5 p.176*) |
1297 "--------- replaceFormula {SOL:MAN:FOR:replace} other 2--"; (*UC 30.3.2.5 p.176*) |
1300 "--------- replaceFormula {SOL:MAN:FOR:replace} other 2--"; |
1298 "--------- replaceFormula {SOL:MAN:FOR:replace} other 2--"; |