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:18] 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) 
-- [Eclipse Oxygen](https://eclipse.org/oxygen/) 
-- Javacc plugin in Eclipse 
-- Maven Integration for Eclipse 
-- [SPOT](https://spot.lrde.epita.fr) (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 run.main.ROLL as the main class. 
  
 ===== Acknowledgement ===== ===== Acknowledgement =====
how_to_use.1516958287.txt.gz · Last modified: 2018/01/26 17:18 by liyong