mWeightVectors

std::vector<int> ResMonoidSparse::mWeightVectors

private

Definition at line 103 of file res-moninfo-sparse.hpp.

Referenced by ResMonoidSparse(), and setWeightAndHash().