Definition at line 14 of file settings-manager.cpp.
References MonomialOrder.
Referenced by GetSettingsManager, operator=(), and SettingsManager().