I
- input symbol typeO
- output typepublic class PrefixTransformAcex<I,O> extends BaseAbstractCounterexample
Constructor and Description |
---|
PrefixTransformAcex(Word<I> counterexample,
MembershipOracle<I,O> oracle,
AccessSequenceTransformer<I> asTransformer,
SuffixOutput<I,O> hypothesis) |
Modifier and Type | Method and Description |
---|---|
protected int |
computeEffect(int index)
Computes the effect of a prefix transformation.
|
int |
getReductionPotential() |
getLength, test, toString
public PrefixTransformAcex(Word<I> counterexample, MembershipOracle<I,O> oracle, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypothesis)
protected int computeEffect(int index)
BaseAbstractCounterexample
computeEffect
in class BaseAbstractCounterexample
public int getReductionPotential()
Copyright © 2015. All rights reserved.