Searched refs:NumKeys (Results 1 – 2 of 2) sorted by relevance
962 unsigned NumKeys = Z3_stats_size(C, S); in getStatistics() local963 for (unsigned Idx = 0; Idx < NumKeys; ++Idx) { in getStatistics()
2447 U8 NumKeys; /* 0x90 */ member