de.learnlib.counterexamples.acex

Class ClassicPrefixTransformAcex<I,D>

java.lang.Object

de.learnlib.acex.impl.AbstractBaseCounterexample<Boolean>

de.learnlib.counterexamples.acex.ClassicPrefixTransformAcex<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

AbstractCounterexample<Boolean>

public class ClassicPrefixTransformAcex<I,D>
extends AbstractBaseCounterexample<Boolean>

An abstract counterexample based on prefix transformations. Unlike OutInconsPrefixTransformAcex 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).

Author:

Malte Isberner

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix, int length, MembershipOracle<I,D> oracle, net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut, Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)
	ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix, MembershipOracle<I,D> oracle, net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut, Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)

Method Summary

Modifier and Type	Method and Description
boolean	checkEffects(Boolean eff1, Boolean eff2)
protected Boolean	computeEffect(int index)

Methods inherited from class de.learnlib.acex.impl.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

Constructor Detail

ClassicPrefixTransformAcex

public ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
                                  MembershipOracle<I,D> oracle,
                                  net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
                                  Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)

ClassicPrefixTransformAcex

protected ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
                                     int length,
                                     MembershipOracle<I,D> oracle,
                                     net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
                                     Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)

Method Detail

computeEffect

protected Boolean computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<Boolean>

checkEffects

public boolean checkEffects(Boolean eff1,
                            Boolean eff2)