Searched refs:statsFound (Results 1 – 1 of 1) sorted by relevance
1107 int statsFound = 0; in parseForwardChainStats() local1183 statsFound++; in parseForwardChainStats()1190 (!statsFound && !filterPair)) { in parseForwardChainStats()