Definition at line 37 of file res-a1-poly.hpp.
Referenced by res_comp::merge_res_pairs(), res_comp::remove_res_degree(), res_comp::skeleton(), and res_comp::sort_res_pairs().