| author | Christian Urban <urbanc@in.tum.de> | 
| Tue, 27 Nov 2018 01:15:54 +0000 | |
| changeset 610 | ce5e0426c92a | 
| parent 408 | 5322e1c46890 | 
| permissions | -rw-r--r-- | 
| 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 | } |