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