Searched refs:dontBuffer (Results 1 – 4 of 4) sorted by relevance
125 static FileHandle *fromLump(File1 &lump, bool dontBuffer = false);
295 FileHandle *FileHandle::fromLump(File1 &lump, bool dontBuffer) // static in fromLump() argument303 if (!dontBuffer) in fromLump()
413 CDMap<Expr, bool> dontBuffer; variable
1473 if (dontBuffer.find(ineq) == dontBuffer.end()) { in addToBuffer()2258 dontBuffer(core->getCM()->getCurrentContext()), in TheoryArithOld()3477 dontBuffer[thm2.getRHS()] = true; in update()