total_reduce_count

int res2_comp::total_reduce_count

private

Definition at line 184 of file res-a0.hpp.

Referenced by initialize(), reduce(), reduce2(), reduce3(), reduce4(), reduce_by_level(), reduce_heap_by_level(), and text_out().