|
Last change
on this file since 770 was
721,
checked in by orlov, 18 years ago
|
- Corrected bug in the static expression generation algorithm.
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
|
File size:
337 bytes
|
| Line | |
|---|
| 1 | |
|---|
| 2 | Main = |
|---|
| 3 | A (B C) D :: e, |
|---|
| 4 | A B :: e, |
|---|
| 5 | (A B) :: e, |
|---|
| 6 | ((A B)) :: e, |
|---|
| 7 | D (B C) A :: e, |
|---|
| 8 | A B (C D) E F :: e, |
|---|
| 9 | M (X (C D) Y) N :: e, |
|---|
| 10 | A X (C D) Y B (Z Z) :: e, |
|---|
| 11 | (A B) (X A B) (X A B C D) (B C) (C D) :: e, |
|---|
| 12 | (X A B) (X A B C D) :: e, |
|---|
| 13 | ((())) (()) () :: e, |
|---|
| 14 | 1 2 :: e, |
|---|
| 15 | 3 4 :: e, |
|---|
| 16 | 2 3 :: e, |
|---|
| 17 | 1 2 3 4 :: e, |
|---|
| 18 | 1 2 3 :: e, |
|---|
| 19 | 2 3 4 :: e; |
|---|
Note: See
TracBrowser
for help on using the repository browser.
