public abstract class AbstractBaseCounterexample<E> extends Object implements AbstractCounterexample<E>
Constructor and Description |
---|
AbstractBaseCounterexample(int m)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected abstract E |
computeEffect(int index) |
E |
effect(int index) |
int |
getLength()
Retrieves the length of the abstract counterexample.
|
void |
setEffect(int index,
E effect) |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
checkEffects, testEffects
public AbstractBaseCounterexample(int m)
m
- length of the counterexamplepublic int getLength()
getLength
in interface AbstractCounterexample<E>
public E effect(int index)
effect
in interface AbstractCounterexample<E>
protected abstract E computeEffect(int index)
public void setEffect(int index, E effect)
Copyright © 2018. All rights reserved.