Interface | Description |
---|---|
LogPopupListener | |
PopupItem<T> | |
PopupItemActivity | |
PopupItemInput<T> | |
PopupItemLog | |
PopupItemLogMove | |
PopupItemModelMove | |
PopupItemStartEnd |
Class | Description |
---|---|
HistogramData |
There are three types of histograms: a global one denoting the number of
active cases in the system, a node-specific one denoting the executions over
time of a particular node, and an log-move edge specific one denoting the
happening of log moves at that place in the model.
|
PopupItemInputActivity | |
PopupItemInputLog | |
PopupItemInputLogMove | |
PopupItemInputModelMove | |
PopupItemInputStartEnd | |
PopupPopulator |