/dports/math/vampire/vampire-4.5.1/SAT/ |
H A D | SingleWatchSAT.hpp | 103 visitTime=0xFFFFFFFF; in resetTimeStamp() 107 unsigned visitTime; member 135 return _levelInfos[var].determiningTime>=_levelInfos[determiningLevel].visitTime; in isDetermined()
|
H A D | SingleWatchSAT.cpp | 255 tgtLvlInfo.visitTime=_currTimeStamp; in performDetermination() 316 lvlInfo.visitTime=_currTimeStamp; in satisfy() 364 lvlInfo.visitTime=_currTimeStamp; in satisfy()
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/js/src/ |
H A D | visitor.ts | 42 public visitTime (_node: any, ..._args: any[]): any { return null; } method in Visitor 90 case Type.Time: fn = visitor.visitTime; break; 91 case Type.TimeSecond: fn = visitor.visitTimeSecond || visitor.visitTime; break; 92 … case Type.TimeMillisecond: fn = visitor.visitTimeMillisecond || visitor.visitTime; break; 93 … case Type.TimeMicrosecond: fn = visitor.visitTimeMicrosecond || visitor.visitTime; break; 94 … case Type.TimeNanosecond: fn = visitor.visitTimeNanosecond || visitor.visitTime; break; 215 visitTime (node: any, ...args: any[]): any; method
|
/dports/databases/arrow/apache-arrow-6.0.1/js/src/ |
H A D | visitor.ts | 42 public visitTime (_node: any, ..._args: any[]): any { return null; } method in Visitor 89 case Type.Time: fn = visitor.visitTime; break; 90 case Type.TimeSecond: fn = visitor.visitTimeSecond || visitor.visitTime; break; 91 … case Type.TimeMillisecond: fn = visitor.visitTimeMillisecond || visitor.visitTime; break; 92 … case Type.TimeMicrosecond: fn = visitor.visitTimeMicrosecond || visitor.visitTime; break; 93 … case Type.TimeNanosecond: fn = visitor.visitTimeNanosecond || visitor.visitTime; break; 215 visitTime (node: any, ...args: any[]): any; method
|
/dports/security/vault/vault-1.8.2/vendor/github.com/apache/arrow/js/src/ |
H A D | visitor.ts | 42 public visitTime (_node: any, ..._args: any[]): any { return null; } method in Visitor 90 case Type.Time: fn = visitor.visitTime; break; 91 case Type.TimeSecond: fn = visitor.visitTimeSecond || visitor.visitTime; break; 92 … case Type.TimeMillisecond: fn = visitor.visitTimeMillisecond || visitor.visitTime; break; 93 … case Type.TimeMicrosecond: fn = visitor.visitTimeMicrosecond || visitor.visitTime; break; 94 … case Type.TimeNanosecond: fn = visitor.visitTimeNanosecond || visitor.visitTime; break; 208 visitTime (node: any, ...args: any[]): any; method
|
/dports/lang/spidermonkey78/firefox-78.9.0/toolkit/components/places/ |
H A D | History.cpp | 78 visitTime(0), in VisitData() 98 visitTime(0), in VisitData() 140 PRTime visitTime; member 484 if (aNow - aPlace.visitTime < RECENTLY_VISITED_URIS_MAX_AGE) { in NotifyVisit() 493 aNavHistory->UpdateDaysOfHistory(aPlace.visitTime); in NotifyVisit() 504 vd->mVisitTime = aPlace.visitTime / 1000; in AddPlaceForNotify() 898 place.lastVisitTime = lastFetchedPlace->visitTime; in InnerRun() 1128 _place.visitTime); in AddVisit() 1870 place.visitTime = PR_Now(); in VisitURI() 2090 rv = GetIntFromJSObject(aCtx, visit, "visitDate", &data.visitTime); in UpdatePlaces() [all …]
|
/dports/mail/thunderbird/thunderbird-91.8.0/toolkit/components/places/ |
H A D | History.cpp | 76 visitTime(0), in VisitData() 96 visitTime(0), in VisitData() 138 PRTime visitTime; member 471 if (aNow - aPlace.visitTime < RECENTLY_VISITED_URIS_MAX_AGE) { in NotifyVisit() 476 aNavHistory->UpdateDaysOfHistory(aPlace.visitTime); in NotifyVisit() 490 visitEvent->mVisitTime = aPlace.visitTime / 1000; in AddPlaceForNotify() 861 place.lastVisitTime = lastFetchedPlace->visitTime; in InnerRun() 1086 rv = stmt->BindInt64ByName("visit_date"_ns, _place.visitTime); in AddVisit() 1794 place.visitTime = PR_Now(); in VisitURI() 2012 rv = GetIntFromJSObject(aCtx, visit, "visitDate", &data.visitTime); in UpdatePlaces() [all …]
|
/dports/www/firefox/firefox-99.0/toolkit/components/places/ |
H A D | History.cpp | 77 visitTime(0), in VisitData() 97 visitTime(0), in VisitData() 139 PRTime visitTime; member 490 if (aNow - aPlace.visitTime < RECENTLY_VISITED_URIS_MAX_AGE) { in NotifyVisit() 495 aNavHistory->UpdateDaysOfHistory(aPlace.visitTime); in NotifyVisit() 509 visitEvent->mVisitTime = aPlace.visitTime / 1000; in AddPlaceForNotify() 880 place.lastVisitTime = lastFetchedPlace->visitTime; in InnerRun() 1105 rv = stmt->BindInt64ByName("visit_date"_ns, _place.visitTime); in AddVisit() 1813 place.visitTime = PR_Now(); in VisitURI() 2031 rv = GetIntFromJSObject(aCtx, visit, "visitDate", &data.visitTime); in UpdatePlaces() [all …]
|
/dports/www/firefox-esr/firefox-91.8.0/toolkit/components/places/ |
H A D | History.cpp | 76 visitTime(0), in VisitData() 96 visitTime(0), in VisitData() 138 PRTime visitTime; member 471 if (aNow - aPlace.visitTime < RECENTLY_VISITED_URIS_MAX_AGE) { in NotifyVisit() 476 aNavHistory->UpdateDaysOfHistory(aPlace.visitTime); in NotifyVisit() 490 visitEvent->mVisitTime = aPlace.visitTime / 1000; in AddPlaceForNotify() 861 place.lastVisitTime = lastFetchedPlace->visitTime; in InnerRun() 1086 rv = stmt->BindInt64ByName("visit_date"_ns, _place.visitTime); in AddVisit() 1794 place.visitTime = PR_Now(); in VisitURI() 2012 rv = GetIntFromJSObject(aCtx, visit, "visitDate", &data.visitTime); in UpdatePlaces() [all …]
|
/dports/lang/spidermonkey60/firefox-60.9.0/toolkit/components/places/ |
H A D | History.cpp | 78 visitTime(0), in VisitData() 98 visitTime(0), in VisitData() 140 PRTime visitTime; member 704 if (aNow - aPlace.visitTime < RECENTLY_VISITED_URIS_MAX_AGE) { in NotifyVisit() 1117 place.lastVisitTime = lastFetchedPlace->visitTime; in InnerRun() 1337 _place.visitTime); in AddVisit() 1838 rv = stmt->GetInt64(3, &visit.visitTime); in FindRemovableVisits() 1977 navHistory->registerEmbedVisit(uri, aPlace.visitTime); in StoreAndNotifyEmbedVisit() 2613 place.visitTime = PR_Now(); in VisitURI() 2873 place.visitTime = aStartTime; in AddDownload() [all …]
|
/dports/www/firefox-legacy/firefox-52.8.0esr/toolkit/components/places/ |
H A D | History.cpp | 79 , visitTime(0) in VisitData() 100 , visitTime(0) in VisitData() 143 PRTime visitTime; member 652 navHistory->NotifyOnVisit(uri, mPlace.visitId, mPlace.visitTime, in Run() 949 place.lastVisitTime = lastFetchedPlace->visitTime; in Run() 1131 _place.visitTime); in AddVisit() 1699 rv = stmt->GetInt64(3, &visit.visitTime); in FindRemovableVisits() 1842 navHistory->registerEmbedVisit(uri, aPlace.visitTime); in StoreAndNotifyEmbedVisit() 2086 aPlace.visitTime); in InsertPlace() 2402 place.visitTime = PR_Now(); in VisitURI() [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/js/src/visitor/ |
H A D | jsonvectorassembler.ts | 50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method 115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
|
H A D | typector.ts | 62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
|
H A D | vectorassembler.ts | 49 visitTime <T extends Time> (vector: V<T>): this; method 227 VectorAssembler.prototype.visitTime = assembleFlatVector;
|
H A D | bytewidth.ts | 53 public visitTime (type: Time ) { return type.bitWidth / 8; } method in ByteWidthVisitor
|
H A D | builderctor.ts | 78 public visitTime () { return TimeBuilder; } method in GetBuilderCtor
|
H A D | vectorctor.ts | 79 public visitTime () { return TimeVector; } method in GetVectorConstructor
|
/dports/databases/arrow/apache-arrow-6.0.1/js/src/visitor/ |
H A D | jsonvectorassembler.ts | 50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method 115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
|
H A D | typector.ts | 62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
|
H A D | vectorassembler.ts | 49 visitTime <T extends Time> (vector: V<T>): this; method 227 VectorAssembler.prototype.visitTime = assembleFlatVector;
|
H A D | bytewidth.ts | 53 public visitTime (type: Time ) { return type.bitWidth / 8; } method in ByteWidthVisitor
|
/dports/security/vault/vault-1.8.2/vendor/github.com/apache/arrow/js/src/visitor/ |
H A D | jsonvectorassembler.ts | 50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method 115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
|
H A D | typector.ts | 62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
|
H A D | vectorassembler.ts | 49 visitTime <T extends Time> (vector: V<T>): this; method 227 VectorAssembler.prototype.visitTime = assembleFlatVector;
|
H A D | bytewidth.ts | 53 public visitTime (type: Time ) { return type.bitWidth / 8; } method in ByteWidthVisitor
|