Package de.learnlib.algorithm.ttt.mealy
Class TTTLearnerMealyBuilder<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder<I,O>
-
public final class TTTLearnerMealyBuilder<I,O> extends Object
-
-
Constructor Summary
Constructors Constructor Description TTTLearnerMealyBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TTTLearnerMealy<I,O>
create()
Alphabet<I>
getAlphabet()
AcexAnalyzer
getAnalyzer()
MembershipOracle<I,Word<O>>
getOracle()
void
setAlphabet(Alphabet<I> alphabet)
void
setAnalyzer(AcexAnalyzer analyzer)
void
setOracle(MembershipOracle<I,Word<O>> oracle)
TTTLearnerMealyBuilder<I,O>
withAlphabet(Alphabet<I> alphabet)
TTTLearnerMealyBuilder<I,O>
withAnalyzer(AcexAnalyzer analyzer)
TTTLearnerMealyBuilder<I,O>
withOracle(MembershipOracle<I,Word<O>> oracle)
-
-
-
Method Detail
-
create
public TTTLearnerMealy<I,O> create()
-
withAlphabet
public TTTLearnerMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Word<O>> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Word<O>> oracle)
-
withOracle
public TTTLearnerMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
-
getAnalyzer
public AcexAnalyzer getAnalyzer()
-
setAnalyzer
public void setAnalyzer(AcexAnalyzer analyzer)
-
withAnalyzer
public TTTLearnerMealyBuilder<I,O> withAnalyzer(AcexAnalyzer analyzer)
-
-