syz_type

int res_pair::syz_type

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

Referenced by res_comp::handle_pair(), res_comp::reduce(), and res_comp::reduce_level_one().