void |
TimeRecords.AddSource(Event source) |
void |
TimeRecords.AddSourceTime(Event source,
double time) |
void |
VisualPetrinetModel.addTimestamp(Event target,
Event source,
long execTime) |
double |
TimeRecords.getAverage(Event source) |
Description |
TimeRecords.getDescription(Event source) |
Description |
VisualPetrinetModel.getDescription(Event target) |
Description |
VisualPetrinetModel.getDescription(Event target,
Event source) |
double |
TimeRecords.getMax(Event source) |
double |
TimeRecords.getMin(Event source) |
int |
TimeRecords.GetPredFrequency(Event source) |
double |
TimeRecords.getStdDev(Event source) |
double |
TimeRecords.getSum(Event source) |
double |
VisualPetrinetModel.GetValue(Event target) |
double |
VisualPetrinetModel.GetValue(Event target,
Event source) |
boolean |
TimeRecords.HasSource(Event source) |
void |
VisualPetrinetModel.IncreaseFrequency(Event target) |
boolean |
VisualPetrinetModel.targetHasSource(Event target,
Event source) |