MalerPnueliMealyBuilder (LearnLib 0.15.0 API)

public final class MalerPnueliMealyBuilder<I,O>
extends Object

Constructors
Constructor and Description
`MalerPnueliMealyBuilder()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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)`

Constructor Detail
- MalerPnueliMealyBuilder
```
public MalerPnueliMealyBuilder()
```

public void setAlphabet(Alphabet<I> alphabet)

public MalerPnueliMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)

public MembershipOracle<I,Word<O>> getOracle()

public void setOracle(MembershipOracle<I,Word<O>> oracle)

public MalerPnueliMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)

public List<Word<I>> getInitialSuffixes()

public void setInitialSuffixes(List<Word<I>> initialSuffixes)

public MalerPnueliMealyBuilder<I,O> withInitialSuffixes(List<Word<I>> initialSuffixes)

public ClosingStrategy<? super I,? super Word<O>> getClosingStrategy()

public void setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

public MalerPnueliMealyBuilder<I,O> withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

Class MalerPnueliMealyBuilder<I,O>