Searched refs:global_timer (Results 1 – 2 of 2) sorted by relevance
805 timer t, global_timer; in load_kernel_corpus_group_and_write_abixml() local812 global_timer.start(); in load_kernel_corpus_group_and_write_abixml()880 global_timer.stop(); in load_kernel_corpus_group_and_write_abixml()883 << "total processing done in " << global_timer << "\n"; in load_kernel_corpus_group_and_write_abixml()
95 "global_timer.cpp",96 "global_timer.h",