primary_degree_of_var()

int Monoid::primary_degree_of_var ( int v ) const

inline

Definition at line 177 of file monoid.hpp.

{ return mHeftDegrees[v]; }

References mHeftDegrees.

Referenced by GBWeight::GBWeight().