de.learnlib.algorithms.discriminationtree.vpda

Class DTLearnerVPDA.PrefixTransformAcex

java.lang.Object

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

de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

All Implemented Interfaces:

AbstractCounterexample<Boolean>

Enclosing class:

DTLearnerVPDA<I>

protected class DTLearnerVPDA.PrefixTransformAcex
extends AbstractBaseCounterexample<Boolean>

Constructor Summary

Constructors

Constructor and Description
PrefixTransformAcex(net.automatalib.words.Word<I> word, ContextPair<I> context)

Method Summary

Modifier and Type	Method and Description
boolean	checkEffects(Boolean eff1, Boolean eff2)
protected Boolean	computeEffect(int index)
net.automatalib.automata.vpda.State<HypLoc<I>>	getBaseState()
net.automatalib.words.Word<I>	getSuffix()

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

PrefixTransformAcex

public PrefixTransformAcex(net.automatalib.words.Word<I> word,
                           ContextPair<I> context)

Method Detail

getBaseState

public net.automatalib.automata.vpda.State<HypLoc<I>> getBaseState()

getSuffix

public net.automatalib.words.Word<I> getSuffix()

checkEffects

public boolean checkEffects(Boolean eff1,
                            Boolean eff2)

computeEffect

protected Boolean computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<Boolean>