This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
how_to_use [2018/01/29 11:22] liyong |
how_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"); |