Modifier and Type | Method and Description |
---|---|
boolean |
BaselineLStar.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
MealyDHC.refineHypothesis(DefaultQuery<I,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 |
KearnsVaziraniDFA.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
KearnsVaziraniMealy.refineHypothesis(DefaultQuery<I,Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractLStar.doRefineHypothesis(DefaultQuery<I,D> ceQuery) |
protected void |
AbstractAutomatonLStar.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 |
ExtensibleAutomatonLStar.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,
ObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
ObservationTable<RI,RD> table,
SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
ObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
Modifier and Type | Method and Description |
---|---|
protected static <I,D> void |
ObservationTable.buildQueries(List<DefaultQuery<I,D>> queryList,
List<Word<I>> prefixes,
List<? extends Word<I>> suffixes) |
protected static <I,D> void |
ObservationTable.buildQueries(List<DefaultQuery<I,D>> queryList,
Word<I> prefix,
List<? extends Word<I>> suffixes) |
protected static <I,D> void |
ObservationTable.buildRowQueries(List<DefaultQuery<I,D>> queryList,
List<Row<I>> rows,
List<? extends Word<I>> suffixes) |
protected static <I,D> void |
ObservationTable.fetchResults(Iterator<DefaultQuery<I,D>> queryIt,
List<D> output,
int numSuffixes)
Fetches the given number of query responses and adds them to the specified output list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NLStarLearner.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
BaseTTTLearner.refineHypothesis(DefaultQuery<I,D> ceQuery) |
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 |
---|---|
boolean |
LearningAlgorithm.refineHypothesis(DefaultQuery<I,D> ceQuery)
Triggers a refinement of the model by providing a counterexample.
|
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Boolean> |
DFACacheConsistencyTest.findCounterExample(DFA<?,I> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,Word<O>> |
MealyCacheConsistencyTest.findCounterExample(MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
DefaultQuery<I,D> |
SimpleEQOracle.findCounterExample(A hypothesis) |
DefaultQuery<I,D> |
WpMethodEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
WMethodEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
RandomWordsEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
IncrementalWMethodEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
EQOracleChain.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
DelegateEQOracle.findCounterExample(A hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
CompleteExplorationEQOracle.findCounterExample(DetOutputAutomaton<?,I,?,D> hypothesis,
Collection<? extends I> alphabet) |
DefaultQuery<I,Boolean> |
SimulatorEQOracle.DFASimulatorEQOracle.findCounterExample(DFA<?,I> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,Word<O>> |
SimulatorEQOracle.MealySimulatorEQOracle.findCounterExample(MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
SampleSetEQOracle.findCounterExample(SuffixOutput<I,D> hypothesis,
Collection<? extends I> inputs) |
DefaultQuery<I,D> |
SimulatorEQOracle.findCounterExample(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,Word<O>> |
RandomWalkEQOracle.findCounterExample(MealyMachine<?,I,?,O> hypothesis,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <I,O> DefaultQuery<I,O> |
MealyUtil.reduceCounterExample(MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,Word<O>> ceQuery) |
static <I,O> DefaultQuery<I,Word<O>> |
MealyUtil.shortenCounterExample(MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
static <I,O> DefaultQuery<I,O> |
MealyUtil.reduceCounterExample(MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,Word<O>> ceQuery) |
static <I,O> DefaultQuery<I,Word<O>> |
MealyUtil.shortenCounterExample(MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,Word<O>> ceQuery) |
Modifier and Type | Method and Description |
---|---|
boolean |
NFALearnerWrapper.refineHypothesis(DefaultQuery<I,Boolean> ceQuery) |
Modifier and Type | Method and Description |
---|---|
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
Word<I> queryWord) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
Word<I> prefix,
Word<I> suffix) |
Modifier and Type | Method and Description |
---|---|
static <I,D> boolean |
MQUtil.isCounterexample(DefaultQuery<I,D> query,
SuffixOutput<I,D> hyp) |
Modifier and Type | Method and Description |
---|---|
default void |
PassiveLearningAlgorithm.addSample(DefaultQuery<I,D> sample) |
default void |
PassiveLearningAlgorithm.addSamples(DefaultQuery<I,D>... samples) |
Modifier and Type | Method and Description |
---|---|
void |
PassiveLearningAlgorithm.addSamples(Collection<? extends DefaultQuery<I,D>> samples) |
Copyright © 2015. All rights reserved.