public class AbstractionUtil
extends java.lang.Object
Constructor and Description |
---|
AbstractionUtil() |
Modifier and Type | Method and Description |
---|---|
static <T1 extends MatrixAbstraction<T2>,T2> |
checkAbstractionHolds(T1 abs,
java.util.Collection<T2> first,
java.util.Collection<T2> second,
boolean geq)
Checks, given some abstraction whether the relation holds amongst the two
given sets.
|
static <T1 extends MatrixAbstraction<T2>,T2> |
checkAbstractionsHold(T1[] abs,
java.util.Collection<T2> first,
java.util.Collection<T2> second,
boolean[] geq) |
public static <T1 extends MatrixAbstraction<T2>,T2> boolean checkAbstractionHolds(T1 abs, java.util.Collection<T2> first, java.util.Collection<T2> second, boolean geq)
abs
- abstractionfirst
- set of elemssecond
- set of elemsgeq
- check for geq or less than thresholdpublic static <T1 extends MatrixAbstraction<T2>,T2> boolean checkAbstractionsHold(T1[] abs, java.util.Collection<T2> first, java.util.Collection<T2> second, boolean[] geq)