syz

res2term* res2_pair::syz

Definition at line 36 of file res-a0-pair.hpp.

Referenced by res2_comp::compare_res2_pairs(), res2_comp::do_auto_reductions(), res2_comp::handle_pair(), res2_comp::multi_degree(), res2_comp::new_res2_pair(), res2_comp::reduce(), res2_comp::reduce2(), res2_comp::reduce3(), res2_comp::reduce4(), res2_comp::reduce_by_level(), res2_comp::reduce_heap_by_level(), and res2_comp::s_pair().