NLStarLearner (LearnLib :: Algorithms :: NL* 0.17.0 API)

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()`
`boolean`	`refineHypothesis(DefaultQuery<I,Boolean> ceQuery)`
`void`	`startLearning()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NLStarLearner
```
public NLStarLearner(Alphabet<I> alphabet,
                     MembershipOracle<I,Boolean> oracle)
```
    Constructor.
    
    Parameters:
    
    alphabet - the input alphabet
    
    oracle - the membership oracle
- Method Detail
  - startLearning
```
public void startLearning()
```
    Specified by:
    
    startLearning in interface LearningAlgorithm<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 through NFAs.determinize(net.automatalib.automaton.fsa.NFA).
    
    Returns:
    
    a deterministic version of the hypothesis
  - refineHypothesis
```
public boolean refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
```
    Specified by:
    
    refineHypothesis in interface LearningAlgorithm<NFA<?,I>,I,Boolean>
  - getHypothesisModel
```
public CompactNFA<I> getHypothesisModel()
```
    Specified by:
    
    getHypothesisModel in interface LearningAlgorithm<NFA<?,I>,I,Boolean>
  - getObservationTable
```
public ObservationTable<I> getObservationTable()
```