Package de.learnlib.algorithm.nlstar
Class NLStarLearner<I>
- java.lang.Object
-
- de.learnlib.algorithm.nlstar.NLStarLearner<I>
-
- Type Parameters:
I- input symbol type
- All Implemented Interfaces:
LearningAlgorithm<NFA<?,I>,I,Boolean>,LearningAlgorithm.NFALearner<I>
public class NLStarLearner<I> extends Object implements LearningAlgorithm.NFALearner<I>
The NL* learner.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm
LearningAlgorithm.DFALearner<I extends Object>, LearningAlgorithm.MealyLearner<I extends Object,O extends Object>, LearningAlgorithm.MooreLearner<I extends Object,O extends Object>, LearningAlgorithm.NFALearner<I extends Object>
-
-
Constructor Summary
Constructors Constructor Description NLStarLearner(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LearningAlgorithm.DFALearner<I>asDFALearner()Retrieves a view of this learner as a DFA learner.CompactDFA<I>getDeterminizedHypothesis()Retrieves a deterministic version of the hypothesis.CompactNFA<I>getHypothesisModel()ObservationTable<I>getObservationTable()booleanrefineHypothesis(DefaultQuery<I,Boolean> ceQuery)voidstartLearning()
-
-
-
Constructor Detail
-
NLStarLearner
public NLStarLearner(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
Constructor.- Parameters:
alphabet- the input alphabetoracle- the membership oracle
-
-
Method Detail
-
startLearning
public void startLearning()
- Specified by:
startLearningin interfaceLearningAlgorithm<NFA<?,I>,I,Boolean>
-
asDFALearner
public LearningAlgorithm.DFALearner<I> asDFALearner()
Retrieves a view of this learner as a DFA learner. The DFA is obtained by determinizing and minimizing the NFA hypothesis.- Returns:
- a DFA learner view of this learner
- See Also:
getDeterminizedHypothesis()
-
getDeterminizedHypothesis
public CompactDFA<I> getDeterminizedHypothesis()
Retrieves a deterministic version of the hypothesis. The DFA is obtained throughNFAs.determinize(net.automatalib.automaton.fsa.NFA).- Returns:
- a deterministic version of the hypothesis
-
refineHypothesis
public boolean refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
- Specified by:
refineHypothesisin interfaceLearningAlgorithm<NFA<?,I>,I,Boolean>
-
getHypothesisModel
public CompactNFA<I> getHypothesisModel()
- Specified by:
getHypothesisModelin interfaceLearningAlgorithm<NFA<?,I>,I,Boolean>
-
getObservationTable
public ObservationTable<I> getObservationTable()
-
-