Searched defs:NumKeys (Results 1 – 2 of 2) sorted by relevance
962 unsigned NumKeys = Z3_stats_size(C, S); in getStatistics() local
2614 U8 NumKeys; /* 0x90 */ member