| author | Christian Urban <christian.urban@kcl.ac.uk> |
| Sun, 19 Oct 2025 09:44:04 +0200 | |
| changeset 1011 | 31e011ce66e3 |
| parent 400 | e4afe3f46c29 |
| permissions | -rw-r--r-- |
|
263
92e6985018ae
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
abstract class Rexp |
|
400
e4afe3f46c29
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
263
diff
changeset
|
2 |
case object ZERO extends Rexp |
|
e4afe3f46c29
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
263
diff
changeset
|
3 |
case object ONE extends Rexp |
|
263
92e6985018ae
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
case class CHAR(c: Char) extends Rexp |
|
92e6985018ae
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
case class ALT(r1: Rexp, r2: Rexp) extends Rexp |
|
92e6985018ae
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp |
|
92e6985018ae
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
case class STAR(r: Rexp) extends Rexp |