Modifier and Type | Method and Description |
---|---|
void |
AEConfig.addAction(ActionFormula af,
int offSet,
int interval,
TimeWindow tw) |
java.util.Set<Transaction> |
ActionFormula.apply(ConstraintInstanceStream cis,
ConstraintCubeStructure ccs,
TimeWindow tw) |
java.util.List<TimeMoment> |
AEConfig.generateTM(int offSet,
int interval,
TimeWindow tw) |
Modifier and Type | Method and Description |
---|---|
void |
ConstraintCubeView.sliceTime(TimeWindow tw) |
Modifier and Type | Method and Description |
---|---|
void |
CMConfig.addConstraint(ConstraintFormula cf,
int offSet,
int interval,
TimeWindow tw) |
java.util.Set<EvalResult> |
ConstraintFormula.apply(java.util.Set<Event> eventSet,
TimeWindow tw) |
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) |
java.util.Set<Context> |
ConstraintFormula.genContextSet(java.util.Set<Event> eventSet,
TimeWindow tw) |
java.util.List<TimeMoment> |
CMConfig.generateTM(int offSet,
int interval,
TimeWindow tw) |
Modifier and Type | Field and Description |
---|---|
TimeWindow |
TimeMoment.tw |
Modifier and Type | Method and Description |
---|---|
TimeWindow |
TimeMoment.getTimeWindow() |
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) |
Constructor and Description |
---|
TimeMoment(int time,
TimeWindow timeWindow) |