diff options
Diffstat (limited to 'src/uscxml/transform/ChartToFSM.h')
| -rw-r--r-- | src/uscxml/transform/ChartToFSM.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/uscxml/transform/ChartToFSM.h b/src/uscxml/transform/ChartToFSM.h index 919a5b2..f5d7c50 100644 --- a/src/uscxml/transform/ChartToFSM.h +++ b/src/uscxml/transform/ChartToFSM.h @@ -196,11 +196,14 @@ protected: uint64_t _perfTransProcessed; uint64_t _perfTransTotal; + uint64_t _perfTransUsed; uint64_t _perfStatesProcessed; uint64_t _perfStatesSkippedProcessed; uint64_t _perfStatesSkippedTotal; uint64_t _perfStatesCachedProcessed; uint64_t _perfStatesCachedTotal; + uint64_t _perfMicroStepProcessed; + uint64_t _perfMicroStepTotal; uint64_t _lastTimeStamp; size_t _lastTransientStateId; |