Searched refs:global_timer (Results 1 – 2 of 2) sorted by relevance
663 timer t, global_timer; in load_kernel_corpus_group_and_write_abixml() local670 global_timer.start(); in load_kernel_corpus_group_and_write_abixml()733 global_timer.stop(); in load_kernel_corpus_group_and_write_abixml()736 << "total processing done in " << global_timer << "\n"; in load_kernel_corpus_group_and_write_abixml()
92 "global_timer.cpp",93 "global_timer.h",