Attic/rev.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 03 Dec 2021 22:07:11 +0000
changeset 857 2b11eb06af76
parent 742 b5b5583a3a08
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
408
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
def rev(r: Rexp) : Rexp = r match {
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
  case ZERO => ZERO
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
  case ONE => ONE
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
  case CHAR(c) => CHAR(c)
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
  case ALT(r1, r2) => ALT(rev(r1), rev(r2))
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
  case SEQ(r1, r2) => SEQ(rev(r2), rev(r1))
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
  case STAR(r) => STAR(rev(r))
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
}