Package de.learnlib.acex
Class ClassicPrefixTransformAcex<I,D>
- java.lang.Object
-
- de.learnlib.acex.AbstractBaseCounterexample<Boolean>
-
- de.learnlib.acex.ClassicPrefixTransformAcex<I,D>
-
- Type Parameters:
I
- input symbol typeD
- output domain type
- All Implemented Interfaces:
AbstractCounterexample<Boolean>
public class ClassicPrefixTransformAcex<I,D> extends AbstractBaseCounterexample<Boolean>
An abstract counterexample based on prefix transformations. UnlikeOutInconsPrefixTransformAcex
and its derivatives, the effect of this abstract counterexamples is not directly determined by the system outputs, but instead by whether they match the hypothesis output or not (as described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning (M. Isberner, B. Steffen; Proc. ICGI 2014)).
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
ClassicPrefixTransformAcex(Word<I> suffix, int length, MembershipOracle<I,D> oracle, SuffixOutput<I,D> hypOut, Function<Word<I>,Word<I>> asTransform)
ClassicPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,D> oracle, SuffixOutput<I,D> hypOut, Function<Word<I>,Word<I>> asTransform)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
checkEffects(Boolean eff1, Boolean eff2)
protected Boolean
computeEffect(int index)
-
Methods inherited from class de.learnlib.acex.AbstractBaseCounterexample
effect, getLength, setEffect, toString
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface de.learnlib.acex.AbstractCounterexample
testEffects
-
-
-
-
Method Detail
-
computeEffect
protected Boolean computeEffect(int index)
- Specified by:
computeEffect
in classAbstractBaseCounterexample<Boolean>
-
-