compare_use_degree

int res2_comp::compare_use_degree

private

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

Referenced by compare_res2_pairs(), initialize(), sort_monorder(), sort_reduction(), and sort_skeleton().