Modifier and Type | Interface and Description |
---|---|
interface |
CausalAbstraction<E> |
interface |
CausalPrecedenceAbstraction<E> |
interface |
CausalSuccessionAbstraction<E> |
interface |
DirectlyFollowsAbstraction<E> |
interface |
EventuallyFollowsAbstraction<E>
Eventually follows: a \succ b
|
interface |
LengthTwoLoopAbstraction<E> |
interface |
LongTermFollowsAbstraction<E>
Long-Term-Follows abstraction: a >> b
|
interface |
MendaciousAbstraction<E>
first defined in: "Mining Process Models with Prime Invisible Tasks"; Lijie
Wen, Jianmin Wang, Wil M.P.
|
interface |
ParallelAbstraction<E> |
interface |
TwoWayLengthTwoLoopAbstraction<E> |
interface |
UnrelatedAbstraction<E> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractMatrixAbstraction<E> |
Modifier and Type | Class and Description |
---|---|
class |
CausalPrecedenceAbstractionImpl<E> |
class |
CausalRelationAbstractionImpl<E> |
class |
CausalSuccessionAbstractionImpl<E> |
class |
DirectlyFollowsAbstractionImpl<E> |
class |
EventuallyFollowsAbstractionImpl<E> |
class |
LengthTwoLoopAbstractionImpl<E> |
class |
LongTermFollowsAbstractionImpl<E> |
class |
MendaciousAbstractionImpl<E> |
class |
ParallelAbstractionImpl<E> |
class |
TwoWayLengthTwoLoopAbstractionImpl<E> |
class |
UnrelatedAbstractionImpl<E> |
Modifier and Type | Method and Description |
---|---|
static <T1 extends MatrixAbstraction<T2>,T2> |
AbstractionUtil.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> |
AbstractionUtil.checkAbstractionsHold(T1[] abs,
java.util.Collection<T2> first,
java.util.Collection<T2> second,
boolean[] geq) |
Modifier and Type | Method and Description |
---|---|
static <T1 extends MatrixAbstraction<T2>,T2> |
AbstractionUtil.checkAbstractionsHold(T1[] abs,
java.util.Collection<T2> first,
java.util.Collection<T2> second,
boolean[] geq) |