29 print_depth 99;map fst (get_interval ([],Pbl) ([],Res) 9999 pt);print_depth 3; |
29 print_depth 99;map fst (get_interval ([],Pbl) ([],Res) 9999 pt);print_depth 3; |
30 if map fst (get_interval ([],Pbl) ([],Res) 9999 pt) = |
30 if map fst (get_interval ([],Pbl) ([],Res) 9999 pt) = |
31 [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), |
31 [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), |
32 ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res), |
32 ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res), |
33 ([3, 2], Res)] then () else |
33 ([3, 2], Res)] then () else |
34 raise error "modspec.sml: diff.behav. get_interval after replace} other 2 a"; |
34 error "modspec.sml: diff.behav. get_interval after replace} other 2 a"; |
35 |
35 |
36 print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); |
36 print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); |
37 print_depth 3; |
37 print_depth 3; |
38 if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = |
38 if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = |
39 [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else |
39 [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else |
40 raise error "modspec.sml: diff.behav. get_interval after replace} other 2 b"; |
40 error "modspec.sml: diff.behav. get_interval after replace} other 2 b"; |