Package de.learnlib.counterexample

Class AcexLocalSuffixFinder

java.lang.Object

de.learnlib.counterexample.AcexLocalSuffixFinder

All Implemented Interfaces:

LocalSuffixFinder<@Nullable Object,@Nullable Object>

public class AcexLocalSuffixFinder
extends Object
implements LocalSuffixFinder<@Nullable Object,@Nullable Object>

Wraps a AbstractNamedAcexAnalyzer. 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 Summary

Constructors

Constructor	Description
AcexLocalSuffixFinder(AcexAnalyzer analyzer, boolean reduce, String name)	Constructor.

Method Summary

Modifier and Type	Method	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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AcexLocalSuffixFinder

public AcexLocalSuffixFinder(AcexAnalyzer analyzer,
                             boolean reduce,
                             String name)

Constructor.

Parameters:

analyzer - the analyzer to be wrapped

reduce - whether to reduce counterexamples

Method Detail

findSuffixIndex

public <RI,RO> int findSuffixIndex(Query<RI,RO> ceQuery,
                                         AccessSequenceTransformer<RI> asTransformer,
                                         SuffixOutput<RI,RO> hypOutput,
                                         MembershipOracle<RI,RO> oracle)

Description copied from interface: LocalSuffixFinder

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.

Specified by:

findSuffixIndex in interface LocalSuffixFinder<@Nullable Object,@Nullable Object>

Type Parameters:

RI - real input symbol class used for *this* counterexample analysis

RO - real output class used for *this* counterexample analysis

Parameters:

ceQuery - the counterexample query that triggered the refinement. Note that the same restrictions as in LearningAlgorithm.refineHypothesis(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).

Returns:

an adequate split index, or -1 if the counterexample could not be analyzed.

findSuffixIndex

public static <RI,RO> int findSuffixIndex(AcexAnalyzer analyzer,
                                                boolean reduce,
                                                Query<RI,RO> ceQuery,
                                                AccessSequenceTransformer<RI> asTransformer,
                                                SuffixOutput<RI,RO> hypOutput,
                                                MembershipOracle<RI,RO> oracle)

toString

public String toString()

Overrides:

toString in class Object