Searched refs:eliminator_time (Results 1 – 1 of 1) sorted by relevance
109 const time_t eliminator_time = time(NULL); in VisibilityBasedPreconditioner() local121 << " eliminator time: " << eliminator_time - storage_time; in VisibilityBasedPreconditioner()