Class MalerPnueliMealyBuilder<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder<I,O>
-
public final class MalerPnueliMealyBuilder<I,O> extends Object
-
-
Constructor Summary
Constructors Constructor Description MalerPnueliMealyBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MalerPnueliMealy<I,O>
create()
Alphabet<I>
getAlphabet()
ClosingStrategy<? super I,? super Word<O>>
getClosingStrategy()
List<Word<I>>
getInitialSuffixes()
MembershipOracle<I,Word<O>>
getOracle()
void
setAlphabet(Alphabet<I> alphabet)
void
setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
void
setInitialSuffixes(List<Word<I>> initialSuffixes)
void
setOracle(MembershipOracle<I,Word<O>> oracle)
MalerPnueliMealyBuilder<I,O>
withAlphabet(Alphabet<I> alphabet)
MalerPnueliMealyBuilder<I,O>
withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliMealyBuilder<I,O>
withInitialSuffixes(List<Word<I>> initialSuffixes)
MalerPnueliMealyBuilder<I,O>
withOracle(MembershipOracle<I,Word<O>> oracle)
-
-
-
Method Detail
-
create
public MalerPnueliMealy<I,O> create()
-
withAlphabet
public MalerPnueliMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Word<O>> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Word<O>> oracle)
-
withOracle
public MalerPnueliMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
-
withInitialSuffixes
public MalerPnueliMealyBuilder<I,O> withInitialSuffixes(List<Word<I>> initialSuffixes)
-
getClosingStrategy
public ClosingStrategy<? super I,? super Word<O>> getClosingStrategy()
-
setClosingStrategy
public void setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
withClosingStrategy
public MalerPnueliMealyBuilder<I,O> withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
-