app51.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 23 Nov 2012 14:08:31 +0000
changeset 71 7717f20f0504
parent 7 73cf4406b773
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
abstract class Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
case object NULL extends Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
case object EMPTY extends Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
case class CHAR(c: Char) extends Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
case class ALT(r1: Rexp, r2: Rexp) extends Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp
73cf4406b773 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
case class STAR(r: Rexp) extends Rexp