afl-material: progs/rev.scala@5deefcc8cffa (annotated)

408 5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	def rev(r: Rexp) : Rexp = r match {
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	case ZERO => ZERO
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	case ONE => ONE
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	case CHAR(c) => CHAR(c)
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	case ALT(r1, r2) => ALT(rev(r1), rev(r2))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	case SEQ(r1, r2) => SEQ(rev(r2), rev(r1))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	case STAR(r) => STAR(rev(r))
5322e1c46890 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	}

author	Christian Urban <urbanc@in.tum.de>
	Tue, 20 Sep 2016 12:24:29 +0100
changeset 422	5deefcc8cffa
parent 408	5322e1c46890
permissions	-rw-r--r--