public void AddNewVariable(int no) { // if the variable subspacing is disabled, all constants are in this DS too if (!Ds.IsVariableIncluded(no)) { Ds.AddVariable(no); this.m_newVariables.Add(no); } }