public class LengthOneLoopAbstractionImpl<E> extends AbstractColumnAbstraction<E> implements LengthOneLoopAbstraction<E>
Constructor and Description |
---|
LengthOneLoopAbstractionImpl(E[] eventClasses,
double[] column,
double threshold) |
getAllGEQThreshold, getAllLessThanThreshold, getColumn, getThreshold, getValue, getValue, holds, holds
getEventClass, getEventClasses, getIndex
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAllGEQThreshold, getAllLessThanThreshold, getColumn, getThreshold, getValue, getValue, holds, holds
getEventClass, getEventClasses, getIndex
public LengthOneLoopAbstractionImpl(E[] eventClasses, double[] column, double threshold)