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