void SimplexDecisionProcedure::tearDownInfeasiblityFunction(TimerStat& timer, ArithVar tmp){ TimerStat::CodeTimer codeTimer(timer); Assert(tmp != ARITHVAR_SENTINEL); Assert(d_tableau.isBasic(tmp)); RowIndex ri = d_tableau.basicToRowIndex(tmp); d_linEq.stopTrackingRowIndex(ri); d_tableau.removeBasicRow(tmp); releaseVariable(tmp); }
void VariableModelManager::releaseSystemVariable(QString name) { if (m_list.contains(name)){ if (m_serverAvailable) emit releaseVariable(name); SystemVariable * model = m_list.value(name); model->deleteLater(); m_list.remove(name); } }