afl-material: progs/rev.scala@447ed6c7cdad (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>
	Mon, 24 Sep 2018 11:05:39 +0100
changeset 558	447ed6c7cdad
parent 408	5322e1c46890
permissions	-rw-r--r--