mDegreeOfVar

gc_vector<const int*> FreeMonoid::mDegreeOfVar

private

Definition at line 119 of file FreeMonoid.hpp.

Referenced by FreeMonoid(), and multi_degree().