Package de.learnlib.algorithm.ttt.vpa
Class TTTLearnerVPABuilder<I>
- java.lang.Object
-
- de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder<I>
-
public final class TTTLearnerVPABuilder<I> extends Object
-
-
Constructor Summary
Constructors Constructor Description TTTLearnerVPABuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TTTLearnerVPA<I>
create()
VPAlphabet<I>
getAlphabet()
AcexAnalyzer
getAnalyzer()
MembershipOracle.DFAMembershipOracle<I>
getOracle()
void
setAlphabet(VPAlphabet<I> alphabet)
void
setAnalyzer(AcexAnalyzer analyzer)
void
setOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
TTTLearnerVPABuilder<I>
withAlphabet(VPAlphabet<I> alphabet)
TTTLearnerVPABuilder<I>
withAnalyzer(AcexAnalyzer analyzer)
TTTLearnerVPABuilder<I>
withOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
-
-
-
Method Detail
-
create
public TTTLearnerVPA<I> create()
-
getAlphabet
public VPAlphabet<I> getAlphabet()
-
setAlphabet
public void setAlphabet(VPAlphabet<I> alphabet)
-
withAlphabet
public TTTLearnerVPABuilder<I> withAlphabet(VPAlphabet<I> alphabet)
-
getOracle
public MembershipOracle.DFAMembershipOracle<I> getOracle()
-
setOracle
public void setOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
-
withOracle
public TTTLearnerVPABuilder<I> withOracle(MembershipOracle.DFAMembershipOracle<I> oracle)
-
getAnalyzer
public AcexAnalyzer getAnalyzer()
-
setAnalyzer
public void setAnalyzer(AcexAnalyzer analyzer)
-
withAnalyzer
public TTTLearnerVPABuilder<I> withAnalyzer(AcexAnalyzer analyzer)
-
-