diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 18:45:42 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 18:45:42 (GMT) |
commit | c66fa34eb48f81da05966b947a2e37067318a09f (patch) | |
tree | ad365818c666fb670721fc3c1aec64049e40012b /src/uscxml/transform/ChartToFSM.h | |
parent | aa6cadbcc57c0f9562247b29cac8d653c5a18956 (diff) | |
download | uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.zip uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.tar.gz uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.tar.bz2 |
More output when transforming
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; |