Searched refs:notationNodes (Results 1 – 1 of 1) sorted by relevance
140 size_t notationNodes = 0; in dumpStatistics() local225 ++notationNodes; in dumpStatistics()249 printf(" Number of Notation nodes: %zu\n", notationNodes); in dumpStatistics()