Package de.learnlib.algorithm.lstar.dfa
Class ClassicLStarDFABuilder<I>
- java.lang.Object
-
- de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder<I>
-
public final class ClassicLStarDFABuilder<I> extends Object
-
-
Constructor Summary
Constructors Constructor Description ClassicLStarDFABuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ClassicLStarDFA<I>
create()
Alphabet<I>
getAlphabet()
MembershipOracle<I,Boolean>
getOracle()
void
setAlphabet(Alphabet<I> alphabet)
void
setOracle(MembershipOracle<I,Boolean> oracle)
ClassicLStarDFABuilder<I>
withAlphabet(Alphabet<I> alphabet)
ClassicLStarDFABuilder<I>
withOracle(MembershipOracle<I,Boolean> oracle)
-
-
-
Method Detail
-
create
public ClassicLStarDFA<I> create()
-
withAlphabet
public ClassicLStarDFABuilder<I> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Boolean> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Boolean> oracle)
-
withOracle
public ClassicLStarDFABuilder<I> withOracle(MembershipOracle<I,Boolean> oracle)
-
-