mWeightVectors

const std::vector<int> FreeMonoid::mWeightVectors

private

Definition at line 115 of file FreeMonoid.hpp.

Referenced by FreeMonoid(), and weightOfVar().