Package de.learnlib.algorithm.observationpack.vpa

Class OPLearnerVPA.PrefixTransformAcex

java.lang.Object

de.learnlib.acex.AbstractBaseCounterexample<Boolean>

de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

All Implemented Interfaces:

AbstractCounterexample<Boolean>

Enclosing class:

OPLearnerVPA<I>

protected class OPLearnerVPA.PrefixTransformAcex
extends AbstractBaseCounterexample<Boolean>

Constructor Summary

Constructors

Constructor	Description
PrefixTransformAcex(Word<I> word, ContextPair<I> context)

Method Summary

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

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

Constructor Detail

PrefixTransformAcex

public PrefixTransformAcex(Word<I> word,
                           ContextPair<I> context)

Method Detail

getBaseState

public State<HypLoc<I>> getBaseState()

getSuffix

public Word<I> getSuffix()

checkEffects

public boolean checkEffects(Boolean eff1,
                            Boolean eff2)

computeEffect

protected Boolean computeEffect(int index)

Specified by:

computeEffect in class AbstractBaseCounterexample<Boolean>