Definition at line 42 of file res-a1-poly.hpp.
Referenced by res_comp::new_res_pair(), and res_comp::new_res_pair().