예제 #1
0
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);
}
예제 #2
0
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);
    }
}