Searched refs:backtrackboundchg (Results 1 – 1 of 1) sorted by relevance
689 HighsDomainChange backtrackboundchg = domchgstack_[k]; in backtrack() local694 return backtrackboundchg; in backtrack()