nleft

int res_degree::nleft

private

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

Referenced by res_comp::gens(), res_comp::initialize(), res_comp::insert_res_pair(), res_comp::reductions(), and res_degree().