Searched refs:setDomainChangeStack (Results 1 – 4 of 4) sorted by relevance
198 void setDomainChangeStack(const std::vector<HighsDomainChange>& domchgstack);
336 mipdata_->domain.setDomainChangeStack(std::vector<HighsDomainChange>()); in run()
32 this->localdom.setDomainChangeStack(std::vector<HighsDomainChange>()); in HighsSearch()1018 localdom.setDomainChangeStack(std::move(node.domchgstack)); in installNode()
643 void HighsDomain::setDomainChangeStack( in setDomainChangeStack() function in HighsDomain