| changeset 288 | 3cd6c850c252 |
| parent 245 | 744496a2bade |
| 287:a0c469a58ed4 | 288:3cd6c850c252 |
|---|---|
1 |
1 import CW9c._ |
2 |
2 |
3 |
3 |
4 assert(simp(ZERO | ONE) == ONE) |
4 assert(simp(ZERO | ONE) == ONE) |
5 assert(simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)) |
5 assert(simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)) |
6 assert(simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')) |
6 assert(simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')) |