de.learnlib.util.nfa

Class NFALearnerWrapper<I>

java.lang.Object

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

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>

@ParametersAreNonnullByDefault
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(net.automatalib.words.Alphabet<I> alphabet, LearningAlgorithm<? extends net.automatalib.automata.fsa.NFA<?,I>,I,Boolean> nfaLearner)

Method Summary

Modifier and Type	Method and Description
net.automatalib.automata.fsa.impl.compact.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(net.automatalib.words.Alphabet<I> alphabet,
                         LearningAlgorithm<? extends net.automatalib.automata.fsa.NFA<?,I>,I,Boolean> nfaLearner)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

refineHypothesis

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

Specified by:

refineHypothesis in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

getHypothesisModel

public net.automatalib.automata.fsa.impl.compact.CompactDFA<I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

toString

public String toString()

Overrides:

toString in class Object