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 revisionPrevious revision
Next revision
Previous revision
how_to_use [2018/01/26 17:23] liyonghow_to_use [2018/03/29 16:54] (current) 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. 
- 
-    `git clone https://github.com/ISCAS-PMC/roll-library 
- 
-2. Import roll-library as Maven Existing Projects. 
- 
-Now 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.1516958617.txt.gz · Last modified: 2018/01/26 17:23 by liyong