mNumVars

int ResMonoidSparse::mNumVars

private

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

Referenced by from_expvector(), n_vars(), ResMonoidSparse(), setWeightAndHash(), show(), and to_expvector().