/dports/math/vampire/vampire-4.5.1/Kernel/ |
H A D | TermTransformer.cpp | 45 Stack<TermList*> toDo(8); in transform() local 49 ASS(toDo.isEmpty()); in transform() 55 toDo.push(term->args()); in transform() 64 ASS(toDo.isEmpty()); in transform() 84 toDo.push(tt->next()); in transform() 113 toDo.push(t->args()); in transform() 115 ASS(toDo.isEmpty()); in transform() 248 toDo.reset(); in transform() 250 toDo.push(term->args()); in transform() 297 toDo.push(t->args()); in transform() [all …]
|
H A D | RobSubstitution.cpp | 309 Stack<TermSpec> toDo(8); in occurs() local 332 toDo.push(dtvar); in occurs() 337 if(toDo.isEmpty()) { in occurs() 340 ts=toDo.pop(); in occurs() 462 t1=toDo.top().first; in unify() 463 t2=toDo.pop().second; in unify() 468 toDo.reset(); in unify() 627 toDo.push(&trm); in apply() 653 toDo.push(tt->next()); in apply() 714 toDo.push(&trm); in getApplicationResultWeight() [all …]
|
H A D | EqHelper.cpp | 96 static Stack<TermList*> toDo(8); in replace() local 100 ASS(toDo.isEmpty()); in replace() 106 toDo.push(trm0->args()); in replace() 109 TermList* tt=toDo.pop(); in replace() 114 ASS(toDo.isEmpty()); in replace() 133 toDo.push(tt->next()); in replace() 149 toDo.push(t->args()); in replace() 151 ASS(toDo.isEmpty()); in replace()
|
/dports/devel/flex-sdk/flex-sdk-4.6.0.23201/frameworks/projects/osmf/src/org/osmf/layout/ |
H A D | LayoutRenderer.as | 260 toDo ^= Y; 278 if (toDo != 0) 290 toDo ^= X; 317 toDo ^= Y; 358 toDo ^= X; 364 toDo ^= Y; 369 if ((toDo & X) && !(toDo & WIDTH)) 374 else if ((toDo & WIDTH) && !(toDo & X)) 389 if ((toDo & Y) && !(toDo & HEIGHT)) 394 else if ((toDo & HEIGHT) && !(toDo & Y)) [all …]
|
/dports/dns/dnsdist/dnsdist-1.6.1/ |
H A D | mplexer.hh | 88 …virtual void addReadFD(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(), co… in addReadFD() argument 90 this->addFD(d_readCallbacks, fd, toDo, parameter, ttd); in addReadFD() 94 …virtual void addWriteFD(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(), c… in addWriteFD() argument 96 this->addFD(d_writeCallbacks, fd, toDo, parameter, ttd); in addWriteFD() 139 …virtual void alterFDToRead(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t()… in alterFDToRead() argument 141 this->alterFD(d_writeCallbacks, d_readCallbacks, fd, toDo, parameter, ttd); in alterFDToRead() 144 …virtual void alterFDToWrite(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(… in alterFDToWrite() argument 146 this->alterFD(d_readCallbacks, d_writeCallbacks, fd, toDo, parameter, ttd); in alterFDToWrite() 236 …void accountingAddFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t& paramet… in accountingAddFD() argument 240 cb.d_callback=toDo; in accountingAddFD() [all …]
|
H A D | epollmplexer.cc | 48 …virtual void addFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t& parameter… 50 …virtual void alterFD(callbackmap_t& from, callbackmap_t& to, int fd, callbackfunc_t toDo, const fu… 99 void EpollFDMultiplexer::addFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t… in addFD() argument 101 accountingAddFD(cbmap, fd, toDo, parameter, ttd); in addFD() 128 …r::alterFD(callbackmap_t& from, callbackmap_t& to, int fd, callbackfunc_t toDo, const funcparam_t&… in alterFD() argument 131 accountingAddFD(to, fd, toDo, parameter, ttd); in alterFD()
|
/dports/dns/powerdns/pdns-4.5.2/pdns/ |
H A D | mplexer.hh | 88 …virtual void addReadFD(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(), co… in addReadFD() argument 90 this->addFD(d_readCallbacks, fd, toDo, parameter, ttd); in addReadFD() 94 …virtual void addWriteFD(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(), c… in addWriteFD() argument 96 this->addFD(d_writeCallbacks, fd, toDo, parameter, ttd); in addWriteFD() 139 …virtual void alterFDToRead(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t()… in alterFDToRead() argument 141 this->alterFD(d_writeCallbacks, d_readCallbacks, fd, toDo, parameter, ttd); in alterFDToRead() 144 …virtual void alterFDToWrite(int fd, callbackfunc_t toDo, const funcparam_t& parameter=funcparam_t(… in alterFDToWrite() argument 146 this->alterFD(d_readCallbacks, d_writeCallbacks, fd, toDo, parameter, ttd); in alterFDToWrite() 236 …void accountingAddFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t& paramet… in accountingAddFD() argument 240 cb.d_callback=toDo; in accountingAddFD() [all …]
|
H A D | epollmplexer.cc | 48 …virtual void addFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t& parameter… 50 …virtual void alterFD(callbackmap_t& from, callbackmap_t& to, int fd, callbackfunc_t toDo, const fu… 99 void EpollFDMultiplexer::addFD(callbackmap_t& cbmap, int fd, callbackfunc_t toDo, const funcparam_t… in addFD() argument 101 accountingAddFD(cbmap, fd, toDo, parameter, ttd); in addFD() 128 …r::alterFD(callbackmap_t& from, callbackmap_t& to, int fd, callbackfunc_t toDo, const funcparam_t&… in alterFD() argument 131 accountingAddFD(to, fd, toDo, parameter, ttd); in alterFD()
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/filter/qa/complex/filter/detection/typeDetection/ |
H A D | TypeDetection.java | 257 String fileAlias = toDo.get(0); in checkByURLonly() 258 String fileURL = toDo.get(1); in checkByURLonly() 259 String URLfileType = toDo.get(2); in checkByURLonly() 260 String StreamfileType = toDo.get(3); in checkByURLonly() 360 String fileAlias = toDo.get(0); in checkPreselectedType() 409 String fileAlias = toDo.get(0); in checkPreselectedFilter() 411 String filterName = toDo.get(1); in checkPreselectedFilter() 413 String filterData = toDo.get(3); in checkPreselectedFilter() 414 String expectedType = toDo.get(4); in checkPreselectedFilter() 460 String fileAlias = toDo.get(0); in checkPreselectedDocService() [all …]
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/filter/qa/complex/filter/detection/typeDetection/ |
H A D | TypeDetection.java | 257 String fileAlias = toDo.get(0); in checkByURLonly() 258 String fileURL = toDo.get(1); in checkByURLonly() 259 String URLfileType = toDo.get(2); in checkByURLonly() 260 String StreamfileType = toDo.get(3); in checkByURLonly() 360 String fileAlias = toDo.get(0); in checkPreselectedType() 409 String fileAlias = toDo.get(0); in checkPreselectedFilter() 411 String filterName = toDo.get(1); in checkPreselectedFilter() 413 String filterData = toDo.get(3); in checkPreselectedFilter() 414 String expectedType = toDo.get(4); in checkPreselectedFilter() 460 String fileAlias = toDo.get(0); in checkPreselectedDocService() [all …]
|
/dports/math/vampire/vampire-4.5.1/VUtils/ |
H A D | SMTLIBConcat.cpp | 82 Stack<LExpr*> toDo; in rewriteSmt1FormToSmt2() local 83 toDo.push(e0); in rewriteSmt1FormToSmt2() 85 while(toDo.isNonEmpty()) { in rewriteSmt1FormToSmt2() 86 LExpr* e = toDo.pop(); in rewriteSmt1FormToSmt2() 104 toDo.push(elit.next()); in rewriteSmt1FormToSmt2() 161 Stack<LExpr*> toDo; in rewriteIntsToReals() local 162 toDo.push(e0); in rewriteIntsToReals() 164 while(toDo.isNonEmpty()) { in rewriteIntsToReals() 165 LExpr* e = toDo.pop(); in rewriteIntsToReals() 176 toDo.push(leit.next()); in rewriteIntsToReals()
|
/dports/devel/icmake/icmake-9b958b05ac462adf6cde394875964a8127599514/icmake/dep/dependencies/ |
H A D | dinspectih.c | 7 Vector *toDo = VectorCons(); in dInspectIH() local 8 add(toDo, ih); in dInspectIH() 19 while (next < vSize(toDo)) // as long as there are files to in dInspectIH() 21 dInspectFile(idx, toDo, next); // and possibly .d_gch files in dInspectIH() 25 VectorDestructor(toDo); in dInspectIH()
|
H A D | dinspectfile.c | 3 void dInspectFile(int idx, Vector *toDo, int toDoIdx) in dInspectFile() argument 5 char const *hdr = toDo->txt[toDoIdx]; in dInspectFile() 17 FILE *file = openFile(toDo->txt[toDoIdx], "r"); in dInspectFile() 22 dHandleInclude(idx, toDo, line, hdr); in dInspectFile()
|
/dports/math/vampire/vampire-4.5.1/SAT/ |
H A D | SATInference.cpp | 90 static Stack<SATClause*> toDo; in collectPropAxioms() local 92 toDo.reset(); in collectPropAxioms() 95 toDo.push(cl); in collectPropAxioms() 96 while (toDo.isNonEmpty()) { in collectPropAxioms() 97 SATClause* cur = toDo.pop(); in collectPropAxioms() 112 toDo.loadFromIterator(SATClauseList::Iterator(pinf->getPremises())); in collectPropAxioms()
|
H A D | SATInference.hpp | 156 static Stack<SATClause*> toDo; in collectFilteredFOPremises() local 158 toDo.reset(); in collectFilteredFOPremises() 161 toDo.push(cl); in collectFilteredFOPremises() 162 while (toDo.isNonEmpty()) { in collectFilteredFOPremises() 163 SATClause* cur = toDo.pop(); in collectFilteredFOPremises() 181 toDo.loadFromIterator(SATClauseList::Iterator(pinf->getPremises())); in collectFilteredFOPremises()
|
/dports/math/vampire/vampire-4.5.1/Indexing/ |
H A D | SubstitutionTree_FastInst.cpp | 298 static Stack<DerefTask> toDo; in derefQueryBinding() local 299 toDo.reset(); in derefQueryBinding() 329 toDo.push(DerefTask(btv)); in derefQueryBinding() 335 while(toDo.isNonEmpty() && toDo.top().buildDerefTerm()) { in derefQueryBinding() 336 tvar=toDo.top().var; in derefQueryBinding() 343 if(toDo.isEmpty()) { in derefQueryBinding() 346 tvar=toDo.pop().var; in derefQueryBinding() 468 toDo.reset(); in matchNext() 471 while(toDo.isNonEmpty()) { in matchNext() 472 TermSpec ts1=toDo.top().first; in matchNext() [all …]
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | TrivialPredicateRemover.cpp | 106 Stack<unsigned> toDo; in scan() local 110 toDo.push(i); in scan() 116 while(toDo.isNonEmpty()) { in scan() 117 unsigned removedPred = toDo.pop(); in scan() 145 toDo.push(zpred); in scan()
|
/dports/net/goreplay/goreplay-1.2.0/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 210 toDo := src 211 if len(toDo) > segmentSize { 212 toDo = toDo[:segmentSize] 214 src = src[len(toDo):] 218 s.Out, err = s.compress1xDo(s.Out, toDo) 247 toDo := src 248 if len(toDo) > segmentSize { 249 toDo = toDo[:segmentSize] 251 src = src[len(toDo):] 255 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/net/goreplay/goreplay-1.2.0/vendor/github.com/klauspost/compress/compress-1.10.10/huff0/ |
H A D | compress.go | 210 toDo := src 211 if len(toDo) > segmentSize { 212 toDo = toDo[:segmentSize] 214 src = src[len(toDo):] 218 s.Out, err = s.compress1xDo(s.Out, toDo) 247 toDo := src 248 if len(toDo) > segmentSize { 249 toDo = toDo[:segmentSize] 251 src = src[len(toDo):] 255 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/sysutils/brename/brename-2.11.1/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 216 toDo := src 217 if len(toDo) > segmentSize { 218 toDo = toDo[:segmentSize] 220 src = src[len(toDo):] 224 s.Out, err = s.compress1xDo(s.Out, toDo) 253 toDo := src 254 if len(toDo) > segmentSize { 255 toDo = toDo[:segmentSize] 257 src = src[len(toDo):] 261 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/security/vault/vault-1.8.2/vendor/go.mongodb.org/mongo-driver/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 202 toDo := src 203 if len(toDo) > segmentSize { 204 toDo = toDo[:segmentSize] 206 src = src[len(toDo):] 210 s.Out, err = s.compress1xDo(s.Out, toDo) 239 toDo := src 240 if len(toDo) > segmentSize { 241 toDo = toDo[:segmentSize] 243 src = src[len(toDo):] 247 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/security/vault/vault-1.8.2/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 202 toDo := src 203 if len(toDo) > segmentSize { 204 toDo = toDo[:segmentSize] 206 src = src[len(toDo):] 210 s.Out, err = s.compress1xDo(s.Out, toDo) 239 toDo := src 240 if len(toDo) > segmentSize { 241 toDo = toDo[:segmentSize] 243 src = src[len(toDo):] 247 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/grafana/loki/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 216 toDo := src 217 if len(toDo) > segmentSize { 218 toDo = toDo[:segmentSize] 220 src = src[len(toDo):] 224 s.Out, err = s.compress1xDo(s.Out, toDo) 253 toDo := src 254 if len(toDo) > segmentSize { 255 toDo = toDo[:segmentSize] 257 src = src[len(toDo):] 261 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/security/vault/vault-1.8.2/vendor/github.com/hashicorp/vault-plugin-database-mongodbatlas/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 202 toDo := src 203 if len(toDo) > segmentSize { 204 toDo = toDo[:segmentSize] 206 src = src[len(toDo):] 210 s.Out, err = s.compress1xDo(s.Out, toDo) 239 toDo := src 240 if len(toDo) > segmentSize { 241 toDo = toDo[:segmentSize] 243 src = src[len(toDo):] 247 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/containerd/containerd/vendor/github.com/klauspost/compress/huff0/ |
H A D | compress.go | 216 toDo := src 217 if len(toDo) > segmentSize { 218 toDo = toDo[:segmentSize] 220 src = src[len(toDo):] 224 s.Out, err = s.compress1xDo(s.Out, toDo) 253 toDo := src 254 if len(toDo) > segmentSize { 255 toDo = toDo[:segmentSize] 257 src = src[len(toDo):] 261 s.tmpOut[i], errs[i] = s.compress1xDo(s.tmpOut[i][:0], toDo)
|