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