weightOfVar()

int FreeMonoid::weightOfVar ( int v, int wt ) const

inlineprivate

Definition at line 228 of file FreeMonoid.hpp.

{ return mWeightVectors[v+wt*numVars()]; }

References mWeightVectors, and numVars().

Referenced by compare(), setWeights(), and var().