public final class MalerPnueliDFABuilder<I>
extends Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`MalerPnueliDFA<I>`	`create()`
`Alphabet<I>`	`getAlphabet()`
`ClosingStrategy<? super I,? super Boolean>`	`getClosingStrategy()`
`List<Word<I>>`	`getInitialSuffixes()`
`MembershipOracle<I,Boolean>`	`getOracle()`
`void`	`setAlphabet(Alphabet<I> alphabet)`
`void`	`setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)`
`void`	`setInitialSuffixes(List<Word<I>> initialSuffixes)`
`void`	`setOracle(MembershipOracle<I,Boolean> oracle)`
`MalerPnueliDFABuilder<I>`	`withAlphabet(Alphabet<I> alphabet)`
`MalerPnueliDFABuilder<I>`	`withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)`
`MalerPnueliDFABuilder<I>`	`withInitialSuffixes(List<Word<I>> initialSuffixes)`
`MalerPnueliDFABuilder<I>`	`withOracle(MembershipOracle<I,Boolean> oracle)`

Constructor Detail
- MalerPnueliDFABuilder
```
public MalerPnueliDFABuilder()
```

public void setAlphabet(Alphabet<I> alphabet)

public MalerPnueliDFABuilder<I> withAlphabet(Alphabet<I> alphabet)

public MembershipOracle<I,Boolean> getOracle()

public void setOracle(MembershipOracle<I,Boolean> oracle)

public MalerPnueliDFABuilder<I> withOracle(MembershipOracle<I,Boolean> oracle)

public List<Word<I>> getInitialSuffixes()

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

public MalerPnueliDFABuilder<I> withInitialSuffixes(List<Word<I>> initialSuffixes)

public ClosingStrategy<? super I,? super Boolean> getClosingStrategy()

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

public MalerPnueliDFABuilder<I> withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)

Class MalerPnueliDFABuilder<I>