Class and 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.
|
LogPopupListener |
Class and 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.
|