public final class KearnsVaziraniMealyBuilder<I,O> extends Object
| Constructor and Description |
|---|
KearnsVaziraniMealyBuilder() |
| Modifier and Type | Method and Description |
|---|---|
KearnsVaziraniMealy<I,O> |
create() |
Alphabet<I> |
getAlphabet() |
AcexAnalyzer |
getCounterexampleAnalyzer() |
MembershipOracle<I,Word<O>> |
getOracle() |
boolean |
getRepeatedCounterexampleEvaluation() |
void |
setAlphabet(Alphabet<I> alphabet) |
void |
setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer) |
void |
setOracle(MembershipOracle<I,Word<O>> oracle) |
void |
setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation) |
KearnsVaziraniMealyBuilder<I,O> |
withAlphabet(Alphabet<I> alphabet) |
KearnsVaziraniMealyBuilder<I,O> |
withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer) |
KearnsVaziraniMealyBuilder<I,O> |
withOracle(MembershipOracle<I,Word<O>> oracle) |
KearnsVaziraniMealyBuilder<I,O> |
withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation) |
public KearnsVaziraniMealy<I,O> create()
public KearnsVaziraniMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
public MembershipOracle<I,Word<O>> getOracle()
public void setOracle(MembershipOracle<I,Word<O>> oracle)
public KearnsVaziraniMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
public boolean getRepeatedCounterexampleEvaluation()
public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
public KearnsVaziraniMealyBuilder<I,O> withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
public AcexAnalyzer getCounterexampleAnalyzer()
public void setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
public KearnsVaziraniMealyBuilder<I,O> withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
Copyright © 2020. All rights reserved.