I
- input symbol class upper boundO
- output class upper boundpublic interface GlobalSuffixFinder<I,O>
Please note that the type parameters of these class only constitute upper bounds
for the respective input symbol and output classes, denoting the requirements of the
process in general. A suffix finder which does not
exploit any properties of the used classes will implement this interface with
<Object,Object> generic arguments only. The genericity is still maintained
due to the RI and RO generic parameters in the
#findSuffixIndex(Query, AccessSequenceTransformer, SuffixOutput, MembershipOracle)
method.
Modifier and Type | Method and Description |
---|---|
<RI extends I,RO extends O> |
findSuffixes(Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle)
Finds a set of distinguishing suffixes which will allow to expose at least one additional
state in the hypothesis.
|
<RI extends I,RO extends O> List<Word<RI>> findSuffixes(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
RI
- real input symbol class used for *this* counterexample analysisRO
- real output class used for *this* counterexample analysisceQuery
- the counterexample query that triggered the refinement. Note that the same
restrictions as in LearningAlgorithm.refineHypothesis(de.learnlib.oracles.DefaultQuery)
apply.asTransformer
- an AccessSequenceTransformer
used for access sequence transformation,
if applicable.hypOutput
- interface to the output generation of the hypothesis, with the aim of
comparing outputs of the hypothesis and the SUL.oracle
- interface to the System Under Learning (SUL).Copyright © 2014. All Rights Reserved.