monom_size

size_t res2_comp::monom_size

private

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

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