Package | Description |
---|---|
org.processmining.servicelevelagreements.model.eventdatabase | |
org.processmining.servicelevelagreements.model.interval |
Modifier and Type | Method and Description |
---|---|
boolean |
EventDatabase.holdsFor(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
Interval interval)
Queries the database for holdsFor(F(A),I) and returns whether it holds.
|
boolean |
IEventDatabase.holdsFor(java.lang.String fluent,
java.lang.String arguments,
java.lang.String value,
Interval interval) |
Modifier and Type | Method and Description |
---|---|
protected static Interval |
IntervalUtils.intersect(Interval i,
Interval j)
Computes the interval x representing the intersection between two
intervals i and j.
|
static Interval |
IntervalUtils.textToInterval(java.lang.String text) |
Modifier and Type | Method and Description |
---|---|
int |
IntervalUtils.IntervalStartTimestampComparator.compare(Interval i1,
Interval i2) |
int |
IntervalUtils.IntervalEndTimestampComparator.compare(Interval i1,
Interval i2) |
int |
IntervalUtils.IntervalStartAndEndTimestampComparator.compare(Interval i1,
Interval i2) |
boolean |
Interval.containsInterval(Interval other)
Checks whether this interval contains the specified interval.
|
boolean |
IntervalList.containsInterval(Interval interval)
Checks whether this list contains the specified interval.
|
protected static Interval |
IntervalUtils.intersect(Interval i,
Interval j)
Computes the interval x representing the intersection between two
intervals i and j.
|
Constructor and Description |
---|
Interval(Interval other) |