| changeset 288 | 65731df141a5 |
| parent 245 | 975d34506e88 |
| 287:c493eaba6018 | 288:65731df141a5 |
|---|---|
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')) |