Home
last modified time | relevance | path

Searched refs:toDo (Results 1 – 25 of 138) sorted by relevance

123456

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DTermTransformer.cpp45 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 DRobSubstitution.cpp309 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 DEqHelper.cpp96 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 DLayoutRenderer.as260 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 Dmplexer.hh88 …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 Depollmplexer.cc48 …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 Dmplexer.hh88 …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 Depollmplexer.cc48 …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 DTypeDetection.java257 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 DTypeDetection.java257 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 DSMTLIBConcat.cpp82 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 Ddinspectih.c7 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 Ddinspectfile.c3 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 DSATInference.cpp90 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 DSATInference.hpp156 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 DSubstitutionTree_FastInst.cpp298 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 DTrivialPredicateRemover.cpp106 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 Dcompress.go210 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 Dcompress.go210 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 Dcompress.go216 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 Dcompress.go202 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 Dcompress.go202 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 Dcompress.go216 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 Dcompress.go202 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 Dcompress.go216 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)

123456