compare_num

int res_pair::compare_num

Definition at line 34 of file res-a1-poly.hpp.

Referenced by res_poly::compare(), res_comp::compare_compares(), and res_comp::compare_res_pairs().