mNumVars

int ModuleMonomDefaultConfigOrig::mNumVars

private

Definition at line 237 of file monomial-collection.hpp.

Referenced by ModuleMonomDefaultConfigOrig(), and ModuleMonomDefaultConfigOrig().