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
how_to_use [2018/01/29 11:22]
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"​);​
how_to_use.txt ยท Last modified: 2018/03/29 16:54 by liyong