Searched refs:statsLine (Results 1 – 1 of 1) sorted by relevance
996 std::string statsLine; in addForwardChainStats() local1015 while (std::getline(stream, statsLine, '\n')) { in addForwardChainStats()1016 buffPtr = statsLine.c_str(); in addForwardChainStats()