do_by_level

unsigned char res2_comp::do_by_level

private

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

Referenced by do_pairs_by_level(), handle_pair_by_level(), initialize(), make_minimal(), minimal_free_of(), and start_computation().