mNumVars

int ModuleMonomDefaultConfig::mNumVars

private

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

Referenced by ModuleMonomDefaultConfig(), and ModuleMonomDefaultConfig().