public class AcexLocalSuffixFinder extends Object implements LocalSuffixFinder<Object,Object>
NamedAcexAnalyzer
. This class is both responsible for adapting
it to the standard LearnLib LocalSuffixFinder
interface, and for
maintaining statistics. Hence, a new object of this class should be instantiated
for every learning process.Constructor and Description |
---|
AcexLocalSuffixFinder(AcexAnalyzer analyzer,
boolean reduce,
String name)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static <RI,RO> int |
findSuffixIndex(AcexAnalyzer analyzer,
boolean reduce,
Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
<RI,RO> int |
findSuffixIndex(Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle)
Finds, for a given counterexample, a "split index", such that:
- the part of the query word before this index leads to the state being split
- the part of the query word from this index on is a suffix capable of splitting
this state.
|
String |
toString() |
public AcexLocalSuffixFinder(AcexAnalyzer analyzer, boolean reduce, String name)
analyzer
- the analyzer to be wrappedreduce
- whether or not to reduce counterexamplespublic static <RI,RO> int findSuffixIndex(AcexAnalyzer analyzer, boolean reduce, Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
public <RI,RO> int findSuffixIndex(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
LocalSuffixFinder
findSuffixIndex
in interface LocalSuffixFinder<Object,Object>
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 © 2015. All rights reserved.