Searched refs:statsFound (Results 1 – 1 of 1) sorted by relevance
1004 int statsFound = 0; in addForwardChainStats() local1087 statsFound++; in addForwardChainStats()1096 (!statsFound && !filterPair)) { in addForwardChainStats()