User Tools

Site Tools


how_to_use

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
how_to_use [2018/01/27 15:19]
liyong
how_to_use [2018/03/29 16:54]
liyong
Line 90: Line 90:
 if(options.algorithm == Options.Algorithm.NBA_LDOLLAR) { if(options.algorithm == Options.Algorithm.NBA_LDOLLAR) {
        // input teacher as a membership oracle for the learner        // input teacher as a membership oracle for the learner
-       ​learner = new LearnerNBALDollar(options, ​nba.getAlphabet(),​ teacher);+       ​learner = new LearnerNBALDollar(options, ​target.getAlphabet(),​ teacher);
 }else if(options.algorithm == Options.Algorithm.PERIODIC }else if(options.algorithm == Options.Algorithm.PERIODIC
        || options.algorithm == Options.Algorithm.SYNTACTIC        || options.algorithm == Options.Algorithm.SYNTACTIC
        || options.algorithm == Options.Algorithm.RECURRENT) {        || options.algorithm == Options.Algorithm.RECURRENT) {
-       ​learner = new LearnerNBALOmega(options, ​nba.getAlphabet(),​ teacher);+       ​learner = new LearnerNBALOmega(options, ​target.getAlphabet(),​ teacher);
 } else { } else {
        throw new UnsupportedOperationException("​Unsupported BA Learner"​);​        throw new UnsupportedOperationException("​Unsupported BA Learner"​);​
Line 137: Line 137:
  
 The complete code is the class roll.main.Executor. The complete code is the class roll.main.Executor.
- 
-====== Set up ROLL in Eclipse ====== 
-This tutorial has been tested on the following distributions:​ 
-  * Ubuntu 16.04 LTS, 64-bits 
-=====  Prerequisites ===== 
- 
- 
-  *  Java Development Kit (only tested with JDK 8.0) 
-  *  [[https://​eclipse.org/​oxygen/​|Eclipse Oxygen]] 
-  *  Javacc plugin in Eclipse 
-  *  Maven Integration for Eclipse 
-  *  [[https://​spot.lrde.epita.fr|SPOT]] (only if you want to run some JUnit tests via autfilt in SPOT) 
- 
-===== Set up ROLL in Eclipse ===== 
- 
- 
-1. Use following command to clone the repository to your local file system. 
-<​code>​ 
-    git clone https://​github.com/​ISCAS-PMC/​roll-library 
-</​code>​ 
-2. Import roll-library as Maven Existing Projects. 
- 
-You may have life cycle problem with Javacc in pom.xml but this can be fixed by the operations suggested by Eclipse. Then you should be able to run ROLL as a java application by choosing roll.main.ROLL as the main class. 
  
 ===== Acknowledgement ===== ===== Acknowledgement =====
how_to_use.txt ยท Last modified: 2018/03/29 16:54 by liyong