de.learnlib.util.nfa

Class NFALearnerWrapper<I>

java.lang.Object

de.learnlib.util.nfa.NFALearnerWrapper<I>

All Implemented Interfaces:

LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>

public class NFALearnerWrapper<I>
extends Object
implements LearningAlgorithm.DFALearner<I>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.algorithm.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Constructor Summary

Constructors

Constructor and Description
NFALearnerWrapper(Alphabet<I> alphabet, LearningAlgorithm<? extends NFA<?,I>,I,Boolean> nfaLearner)

Method Summary

Modifier and Type	Method and Description
CompactDFA<I>	getHypothesisModel()
boolean	refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
void	startLearning()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NFALearnerWrapper

public NFALearnerWrapper(Alphabet<I> alphabet,
                         LearningAlgorithm<? extends NFA<?,I>,I,Boolean> nfaLearner)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,Boolean> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

getHypothesisModel

public CompactDFA<I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

toString

public String toString()

Overrides:

toString in class Object