| author | Christian Urban <urbanc@in.tum.de> | 
| Wed, 20 Feb 2019 00:00:30 +0000 | |
| changeset 312 | 8b0b414e71b0 | 
| parent 159 | 940530087f30 | 
| child 317 | db0ff630bbb7 | 
| permissions | -rw-r--r-- | 
| 
156
 
6a43ea9305ba
updated implementations
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
|
| 
159
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
2  | 
1) call poly  | 
| 
156
 
6a43ea9305ba
updated implementations
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
2) use "re.ML";  | 
| 
159
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
4  | 
|
| 
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
5  | 
or, call directly  | 
| 
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
6  | 
|
| 
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
7  | 
|
| 
 
940530087f30
updated programs
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
156 
diff
changeset
 | 
8  | 
poly --use re.ML  |