Home
last modified time | relevance | path

Searched refs:visitTime (Results 1 – 25 of 82) sorted by relevance

1234

/dports/math/vampire/vampire-4.5.1/SAT/
H A DSingleWatchSAT.hpp103 visitTime=0xFFFFFFFF; in resetTimeStamp()
107 unsigned visitTime; member
135 return _levelInfos[var].determiningTime>=_levelInfos[determiningLevel].visitTime; in isDetermined()
H A DSingleWatchSAT.cpp255 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 Dvisitor.ts42 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 Dvisitor.ts42 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 Dvisitor.ts42 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 DHistory.cpp78 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 DHistory.cpp76 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 DHistory.cpp77 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 DHistory.cpp76 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 DHistory.cpp78 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 DHistory.cpp79 , 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 Djsonvectorassembler.ts50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method
115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
H A Dtypector.ts62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
H A Dvectorassembler.ts49 visitTime <T extends Time> (vector: V<T>): this; method
227 VectorAssembler.prototype.visitTime = assembleFlatVector;
H A Dbytewidth.ts53 public visitTime (type: Time ) { return type.bitWidth / 8; } method in ByteWidthVisitor
H A Dbuilderctor.ts78 public visitTime () { return TimeBuilder; } method in GetBuilderCtor
H A Dvectorctor.ts79 public visitTime () { return TimeVector; } method in GetVectorConstructor
/dports/databases/arrow/apache-arrow-6.0.1/js/src/visitor/
H A Djsonvectorassembler.ts50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method
115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
H A Dtypector.ts62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
H A Dvectorassembler.ts49 visitTime <T extends Time> (vector: V<T>): this; method
227 VectorAssembler.prototype.visitTime = assembleFlatVector;
H A Dbytewidth.ts53 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 Djsonvectorassembler.ts50 visitTime <T extends Time> (vector: V<T>): { DATA: number[] }; method
115 public visitTime<T extends Time>(vector: V<T>) { method in JSONVectorAssembler
H A Dtypector.ts62 public visitTime () { return type.Time; } method in GetDataTypeConstructor
H A Dvectorassembler.ts49 visitTime <T extends Time> (vector: V<T>): this; method
227 VectorAssembler.prototype.visitTime = assembleFlatVector;
H A Dbytewidth.ts53 public visitTime (type: Time ) { return type.bitWidth / 8; } method in ByteWidthVisitor

1234