M

const Monoid* res_comp::M

private

Definition at line 80 of file res-a1.hpp.

Referenced by compare_res_pairs(), degree(), handle_gen(), initialize(), insert_res_pair(), multi_degree(), new_pairs(), new_res_pair(), new_res_pair(), new_res_pair(), reduce(), reduce_gen(), reduce_level_one(), reduce_minimal(), remove_res_pair(), s_pair(), skeleton_pairs(), sort_value(), and text_out().