Searched refs:numNodesDiscarded (Results 1 – 4 of 4) sorted by relevance
235 int & numNodesDiscarded, /* Output */250 int & numNodesDiscarded, /* Output */
479 int & numNodesDiscarded, /* Output */ in exploreSubTree() argument505 numNodesDiscarded, /* Output */ in exploreSubTree()1189 int & numNodesDiscarded, /* Output */ in exploreUnitWork() argument1382 ++numNodesDiscarded; in exploreUnitWork()1411 numNodesDiscarded += nodePool_->getNumKnowledges() in exploreUnitWork()
350 int & numNodesDiscarded,
5363 int & numNodesDiscarded, in doOneUnitWork() argument5373 numNodesDiscarded = 0; /* Output */ in doOneUnitWork()5398 numNodesDiscarded, /* Output */ in doOneUnitWork()5427 numNodesDiscarded, /* Output */ in doOneUnitWork()