Package | Description |
---|---|
org.processmining.actionorientedprocessmining.constraintmonitor | |
org.processmining.actionorientedprocessmining.event |
Modifier and Type | Field and Description |
---|---|
Context |
ConstraintInstance.ctx |
Context |
EvalResult.ctx |
Modifier and Type | Method and Description |
---|---|
Context |
ConstraintInstance.getContext() |
Context |
EvalResult.getContext() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Context> |
ConstraintFormula.genContextSet(java.util.Set<Event> eventSet,
TimeWindow tw) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
ConstraintFormula.eval(java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalBoundedDependentExistence(java.lang.String precedingAct,
java.lang.String targetAct,
int seqLength,
int numExecution,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalBoundedDependentNonExistence(java.lang.String precedingAct,
java.lang.String act,
int seqLength,
int numExecution,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalBoundedExistence(java.lang.String targetAct,
int numExecution,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalBoundedNonExistence(java.lang.String targetAct,
int numExecution,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalCapacity(java.lang.String oc,
java.lang.String comp,
int thres,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalExecution(java.lang.String comp,
int thres,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalPrecedence(java.lang.String precedingAct,
java.lang.String conditionAct,
int numExecution,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.lang.String |
Evaluation.evalThroughput(java.lang.String comp,
int thres,
java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
Constructor and Description |
---|
ConstraintInstance(java.lang.String cfName,
Context ctx,
int t,
java.lang.String outcome) |
EvalResult(Context ctx,
java.lang.String outc) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Event> |
Filter.eventFilter(java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
java.util.Set<Event> |
Filter.objectFilter(java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |