12 #ifndef COUENNE_GLOBAL_CUTOFF_HPP 
   13 #define COUENNE_GLOBAL_CUTOFF_HPP 
bool valid_
Stored solution corresponds to cutoff. 
 
double * sol_
Best solution. 
 
Class for MINLP problems with symbolic information. 
 
void fint fint fint fint fint fint fint fint fint fint real real real real real real real real * s
 
double * getCutOffSol() const 
 
int size_
Size of the vector stored in sol (should be #var of reformulation) 
 
void setCutOff(const CouenneProblem *p, double cutoff, const double *s=NULL)
 
double cutoff_
Value of the best solution.