Searched defs:buffPtr (Results 1 – 1 of 1) sorted by relevance
1122 char *buffPtr; in addForwardChainStats() local1297 char *buffPtr; in parseAndFlushCostlyTables() local