Searched refs:irrationalize_time (Results 1 – 4 of 4) sorted by relevance
452 params->irrationalize_time.start(); in mainCountDriver()459 params->irrationalize_time.stop(); in mainCountDriver()460 cerr << params->irrationalize_time; in mainCountDriver()766 << params->irrationalize_time.get_seconds() << "i" << ", " in mainCountDriver()
109 Timer irrationalize_time; variable
93 irrationalize_time("Time for irrationalizing general cones"), in BarvinokParameters()107 s << read_time << vertices_time << irrationalize_time << dualize_time in print_statistics()
6726 Print irrationalize_time too.