Searched refs:pTotalTime (Results 1 – 6 of 6) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/main/ |
| H A D | driver_unified.cpp | 72 CVC4::TimerStat* pTotalTime = NULL; variable
95 pTotalTime = new TimerStat("totalTime"); in runCvc4()
96 pTotalTime->start(); in runCvc4()
267 pTotalTime); in runCvc4()
567 pTotalTime->stop(); in runCvc4()
587 delete pTotalTime; in runCvc4()
590 pTotalTime = NULL; in runCvc4()
|
| H A D | util.cpp | 59 if (pTotalTime != NULL && pTotalTime->running()) { in print_statistics()
60 pTotalTime->stop(); in print_statistics()
|
| H A D | main.h | 46 extern CVC4::TimerStat* pTotalTime;
|
| H A D | main.cpp | 74 pTotalTime->stop(); in main()
|
| /dports/lang/zig/zig-0.9.0/lib/libc/include/any-windows-any/ |
| H A D | strmif.h | 14615 …virtual HRESULT WINAPI GetTotalTitleTime(DVD_HMSF_TIMECODE *pTotalTime,ULONG *ulTimeCodeFlags) = 0;
14661 …HRESULT (WINAPI *GetTotalTitleTime)(IDvdInfo2 *This,DVD_HMSF_TIMECODE *pTotalTime,ULONG *ulTimeCod…
14709 …fine IDvdInfo2_GetTotalTitleTime(This,pTotalTime,ulTimeCodeFlags) (This)->lpVtbl->GetTotalTitleTim… argument
14752 …HRESULT WINAPI IDvdInfo2_GetTotalTitleTime_Proxy(IDvdInfo2 *This,DVD_HMSF_TIMECODE *pTotalTime,ULO…
|
| /dports/lang/zig-devel/zig-0.9.0/lib/libc/include/any-windows-any/ |
| H A D | strmif.h | 14615 …virtual HRESULT WINAPI GetTotalTitleTime(DVD_HMSF_TIMECODE *pTotalTime,ULONG *ulTimeCodeFlags) = 0;
14661 …HRESULT (WINAPI *GetTotalTitleTime)(IDvdInfo2 *This,DVD_HMSF_TIMECODE *pTotalTime,ULONG *ulTimeCod…
14709 …fine IDvdInfo2_GetTotalTitleTime(This,pTotalTime,ulTimeCodeFlags) (This)->lpVtbl->GetTotalTitleTim… argument
14752 …HRESULT WINAPI IDvdInfo2_GetTotalTitleTime_Proxy(IDvdInfo2 *This,DVD_HMSF_TIMECODE *pTotalTime,ULO…
|