Uses of Interface
de.learnlib.algorithm.aaar.ExplicitInitialAbstraction

Packages that use ExplicitInitialAbstraction

Package	Description
de.learnlib.algorithm.aaar.explicit

Uses of ExplicitInitialAbstraction in de.learnlib.algorithm.aaar.explicit

Constructors in de.learnlib.algorithm.aaar.explicit with parameters of type ExplicitInitialAbstraction

Constructor	Description
AbstractExplicitAAARLearner(LearnerConstructor<L,CI,D> learnerConstructor, MembershipOracle<CI,D> oracle, ExplicitInitialAbstraction<AI,CI> explicitInitialAbstraction, Function<AI,AI> incrementor)	Constructor.
ExplicitAAARLearnerDFA(LearnerConstructor<L,CI,Boolean> learnerConstructor, MembershipOracle<CI,Boolean> oracle, ExplicitInitialAbstraction<AI,CI> explicitInitialAbstraction, Function<AI,AI> incrementor)	Constructor.
ExplicitAAARLearnerMealy(LearnerConstructor<L,CI,net.automatalib.word.Word<O>> learnerConstructor, MembershipOracle<CI,net.automatalib.word.Word<O>> oracle, ExplicitInitialAbstraction<AI,CI> explicitInitialAbstraction, Function<AI,AI> incrementor)	Constructor.
ExplicitAAARLearnerMoore(LearnerConstructor<L,CI,net.automatalib.word.Word<O>> learnerConstructor, MembershipOracle<CI,net.automatalib.word.Word<O>> oracle, ExplicitInitialAbstraction<AI,CI> explicitInitialAbstraction, Function<AI,AI> incrementor)	Constructor.