Home
last modified time | relevance | path

Searched defs:removeFromTail (Results 1 – 5 of 5) sorted by relevance

/dports/java/berkeley-db/je-6.2.31/src/com/sleepycat/je/rep/vlsn/
H A DGhostBucket.java136 void removeFromTail(VLSN startOfDelete, long prevLsn) { in removeFromTail() method in GhostBucket
H A DVLSNBucket.java731 void removeFromTail(VLSN startOfDelete, long prevLsn) { in removeFromTail() method in VLSNBucket
/dports/math/clasp/clasp-3.3.5/src/
H A Dclause.cpp698 Literal* Clause::removeFromTail(Solver& s, Literal* it, Literal* end) { in removeFromTail() function in Clasp::Clause
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dclause.cpp702 Literal* Clause::removeFromTail(Solver& s, Literal* it, Literal* end) { in removeFromTail() function in Clasp::Clause
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dclause.cpp702 Literal* Clause::removeFromTail(Solver& s, Literal* it, Literal* end) { in removeFromTail() function in Clasp::Clause