Add CDD performance statistics #39
Description
We might want to collect and print performance statistics to the end-user.
I can think right now of the following statistics:
- CDD node table resize information each time we need to resize
- CDD cache performance statistics like
- Node creation requests
- Node creation chain accesses
- Node creation cache hits
- Node creation cache misses
- Operation count
- Operation cache hits
- Operation cache misses
- Maximum used CDD nodes
(I selected some statistics from the BDD library used in the CIF tool, see https://www.eclipse.org/escet/cif/tools/datasynth.html#statistics for end-user available statistics)