Class | Description |
---|---|
PerformanceEnricher | |
PerformanceEnricherConfig |
Configuration to be used for the net to be mined.
|
PerformanceEnricherPlugin | |
ReliableInvisibleTransitionPerfCounter |
This class behaves as the
ReliablePerfCounter class,
but allows invisible transitions in the model and assumes that these do not take time. |
StochasticManifestCollector |
Simple analyzer for a manifest based replay.
|
TimeConstraints | |
TimeConstraintsPanel |
Enum | Description |
---|---|
TimeConstraints.TimeAssumption |