107 bool CouenneSolverInterface<T>::isProvenOptimal() const {  in isProvenOptimal()  function in Couenne::CouenneSolverInterface
108   return knowOptimal_ || T::isProvenOptimal();  in isProvenOptimal()
171   if(isProvenOptimal()) {  in resolve()
188   if(isProvenOptimal () &&  in resolve()
203   if(isProvenOptimal () &&  in resolve()
258     if ((nsi -> isProvenOptimal () && isProvenOptimal ()) ||  in resolve()
259 	(!(nsi -> isProvenOptimal ()) && !isProvenOptimal ())) {  in resolve()
261       if (nsi -> isProvenOptimal () &&  in resolve()
276     if ((csi -> isProvenOptimal () && isProvenOptimal ()) ||  in resolve()
277 	(!(csi -> isProvenOptimal ()) && !isProvenOptimal ())) {  in resolve()
279       if (csi -> isProvenOptimal () &&  in resolve()
335   if (isProvenOptimal          ()) knowOptimal_        = true;  in solveFromHotStart()