public class EventuallyFollowsAbstractionImpl<E> extends AbstractMatrixAbstraction<E> implements EventuallyFollowsAbstraction<E>
Constructor and Description |
---|
EventuallyFollowsAbstractionImpl(E[] eventClasses,
double[][] matrix,
double threshold) |
getAllGeqForColumn, getAllGeqForColumn, getAllGeqForColumns, getAllGeqForColumns, getAllGeqForRow, getAllGeqForRow, getAllGeqForRows, getAllGeqForRows, getAllGEQThreshold, getAllIndicesGeqForColumn, getAllIndicesGeqForRow, getAllLessThanThreshold, getMatrix, getNumberOfColumns, getNumberOfRows, getRow, getThreshold, getValue, getValue, holds, holds
getEventClass, getEventClasses, getIndex
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAllGeqForColumn, getAllGeqForColumn, getAllGeqForColumns, getAllGeqForColumns, getAllGeqForRow, getAllGeqForRow, getAllGeqForRows, getAllGeqForRows, getAllGEQThreshold, getAllIndicesGeqForColumn, getAllIndicesGeqForRow, getAllLessThanThreshold, getMatrix, getNumberOfColumns, getNumberOfRows, getRow, getThreshold, getValue, getValue, holds, holds
getEventClass, getEventClasses, getIndex
public EventuallyFollowsAbstractionImpl(E[] eventClasses, double[][] matrix, double threshold)