Definition at line 28 of file res-a1.hpp.
Referenced by res_comp::reductions(), res_degree(), and res_comp::sort_pairs().