Modifier and Type | Method and Description |
---|---|
java.util.Set<EvalResult> |
ConstraintFormula.apply(java.util.Set<Event> eventSet,
TimeWindow tw) |
double |
Derivation.calcExecutionTime(java.util.Set<Event> sublog) |
double |
Derivation.calcProcessCapacity(java.util.Set<Event> sublog,
java.lang.String oc) |
double |
Derivation.calcThroughputTime(java.util.Set<Event> sublog,
int twEnd) |
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) |
Modifier and Type | Field and Description |
---|---|
java.util.Set<Event> |
EventStream.eventSet |
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> |
EventStream.getEventSet() |
java.util.Set<Event> |
Filter.objectFilter(java.util.Set<Event> eventSet,
TimeWindow tw,
Context ctx) |
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) |
void |
EventStream.setEventSet(java.util.Set<Event> eventsAtT) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Event> |
OCXMLImporter.readCSV(int time) |
java.util.Set<Event> |
OCXMLImporter.readOCXML(int t) |
Modifier and Type | Method and Description |
---|---|
void |
OCXMLExporter.recordEvent(Event event) |
Modifier and Type | Method and Description |
---|---|
Event |
Process.generateEvent(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> eventlog,
java.lang.String o1,
java.lang.String i1,
java.lang.String p1,
java.lang.String r1,
java.lang.String act,
java.lang.String res,
int start,
int complete,
int eventNumber) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Event> |
Scheduler.assign(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.lang.Object>> eventlog,
java.util.List<ObjectType> rot,
int t) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Event> |
ProcessSimulation.simulateProcess(int t,
boolean record) |
Modifier and Type | Method and Description |
---|---|
void |
ProcessSimulation.recordLog(java.util.Set<Event> eventAtT) |