Modifier and Type | Method and Description |
---|---|
boolean |
ADTLearner.refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ce) |
boolean |
ADTLearner.refineHypothesisInternal(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,net.automatalib.words.Word<O>> |
ExtensionResult.getCounterExample()
Return the found counterexample.
|
Constructor and Description |
---|
ExtensionResult(DefaultQuery<I,net.automatalib.words.Word<O>> ce) |
Modifier and Type | Method and Description |
---|---|
boolean |
MealyDHC.refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractDTLearner.refineHypothesis(DefaultQuery<I,D> ceQuery) |
protected boolean |
AbstractDTLearner.refineHypothesisSingle(DefaultQuery<I,D> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractVPDALearner.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
protected boolean |
DTLearnerVPDA.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery) |
protected abstract boolean |
AbstractVPDALearner.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
KearnsVaziraniDFA.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
KearnsVaziraniMealy.refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractAutomatonLStar.doRefineHypothesis(DefaultQuery<I,D> ceQuery) |
protected void |
AbstractLStar.doRefineHypothesis(DefaultQuery<I,D> ceQuery) |
protected List<List<Row<I>>> |
AbstractLStar.incorporateCounterExample(DefaultQuery<I,D> ce)
Incorporates the information provided by a counterexample into the observation data structure.
|
boolean |
AbstractLStar.refineHypothesis(DefaultQuery<I,D> ceQuery) |
protected void |
AbstractExtensibleAutomatonLStar.refineHypothesisInternal(DefaultQuery<I,D> ceQuery) |
protected void |
AbstractAutomatonLStar.refineHypothesisInternal(DefaultQuery<I,D> ceQuery) |
Modifier and Type | Method and Description |
---|---|
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,D> ceQuery,
MutableObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
MutableObservationTable<RI,RD> table,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
MutableObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
Modifier and Type | Method and Description |
---|---|
boolean |
NLStarLearner.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
void |
BlueFringeMDLDFA.addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples) |
void |
BlueFringeRPNIDFA.addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples) |
void |
BlueFringeRPNIMealy.addSamples(Collection<? extends DefaultQuery<I,net.automatalib.words.Word<O>>> samples) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractTTTLearner.refineHypothesis(DefaultQuery<I,D> ceQuery) |
protected boolean |
AbstractTTTLearner.refineHypothesisSingle(DefaultQuery<I,D> ceQuery)
Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation.
|
Modifier and Type | Method and Description |
---|---|
boolean |
PrefixTTTLearnerDFA.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
protected boolean |
PrefixTTTLearnerDFA.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
TTTLearnerMealy.refineHypothesisSingle(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
TTTLearnerVPDA.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
default void |
PassiveLearningAlgorithm.addSample(DefaultQuery<I,D> sample) |
default void |
PassiveLearningAlgorithm.addSamples(DefaultQuery<I,D>... samples) |
boolean |
LearningAlgorithm.refineHypothesis(DefaultQuery<I,D> ceQuery)
Triggers a refinement of the model by providing a counterexample.
|
Modifier and Type | Method and Description |
---|---|
void |
PassiveLearningAlgorithm.addSamples(Collection<? extends DefaultQuery<I,D>> samples) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
EquivalenceOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs)
Searches for a counterexample disproving the subjected hypothesis.
|
Modifier and Type | Method and Description |
---|---|
Collection<DefaultQuery<I,D>> |
DefaultPassiveLearningExample.getSamples() |
Collection<DefaultQuery<I,D>> |
PassiveLearningExample.getSamples() |
Constructor and Description |
---|
DefaultPassiveLearningExample(Collection<DefaultQuery<I,D>> samples,
net.automatalib.words.Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Boolean> |
DFACacheConsistencyTest.findCounterExample(net.automatalib.automata.fsa.DFA<?,I> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,net.automatalib.words.Word<O>> |
MealyCacheConsistencyTest.findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
SimpleEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
AbstractTestWordEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
DelegateEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
EQOracleChain.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,Boolean> |
SimulatorEQOracle.DFASimulatorEQOracle.findCounterExample(net.automatalib.automata.fsa.DFA<?,I> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,net.automatalib.words.Word<O>> |
SimulatorEQOracle.MealySimulatorEQOracle.findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
SampleSetEQOracle.findCounterExample(net.automatalib.automata.concepts.SuffixOutput<I,D> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
SimulatorEQOracle.findCounterExample(net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
SampleSetEQOracle<I,D> |
SampleSetEQOracle.addAll(DefaultQuery<I,D>... newTestQueries)
Adds queries to the sample set.
|
Modifier and Type | Method and Description |
---|---|
SampleSetEQOracle<I,D> |
SampleSetEQOracle.addAll(Collection<? extends DefaultQuery<I,D>> newTestQueries)
Adds queries to the sample set.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,O> |
SymbolEQOracleWrapper.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,net.automatalib.words.Word<O>> |
RandomWalkEQOracle.findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Boolean> |
SimulatorEQOracle.findCounterExample(net.automatalib.automata.vpda.OneSEVPA<?,I> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
protected <I,D,M extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,D>> |
AbstractPassiveLearnerIT.generateSamples(net.automatalib.words.Alphabet<I> alphabet,
M reference) |
protected <I> Collection<DefaultQuery<I,Boolean>> |
AbstractDFAPassiveLearnerIT.generateSamplesInternal(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.automata.fsa.DFA<?,I> reference)
Utility method, that may be overriden by subclasses.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> DefaultQuery<I,D> |
MQUtil.normalize(MembershipOracle<I,D> oracle,
DefaultQuery<I,D> query) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> queryWord) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
Modifier and Type | Method and Description |
---|---|
static <I,D> boolean |
MQUtil.isCounterexample(DefaultQuery<I,D> query,
net.automatalib.automata.concepts.SuffixOutput<I,D> hyp) |
static <I,D> DefaultQuery<I,D> |
MQUtil.normalize(MembershipOracle<I,D> oracle,
DefaultQuery<I,D> query) |
Modifier and Type | Method and Description |
---|---|
static <I,O> DefaultQuery<I,O> |
MealyUtil.reduceCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
static <I,O> DefaultQuery<I,net.automatalib.words.Word<O>> |
MealyUtil.shortenCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
static <I,O> DefaultQuery<I,O> |
MealyUtil.reduceCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
static <I,O> DefaultQuery<I,net.automatalib.words.Word<O>> |
MealyUtil.shortenCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
NFALearnerWrapper.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Copyright © 2018. All rights reserved.