Programmation branch and bound en C/C++

//solution est une structure décrivant le vecteur solution à 
//caractériser. Dans cette structure il faut pouvoir savoir à tout
//moment quelle variable n'ont pas encore été affectée (ie n'ont pas 
//été soumises à une séparation dans les noeud de recherche 
//supérieur)

solution branch_and_bound(){
    solution s_opt=solution_vide;
    int f_s_opt=+infini; //pour un pb de minimisation
    solution s=solution_vide;
    explorer noeud(f_s_opt,&s_opt,s);
    return s_opt;
}

void explorer noeud(int *f_s_opt,solution *s_opt,solution s){
    tester critère de coupure sur s
    pour chaque variable non affectée si{
      choisir variable candidate si
      pour chaque valeur xi de di (domaine de la variable si){
          explorer(f_s_opt,s*,s <- s(si = xi))
      }
   }
   si (f(s)<f(s*)){
       free(s_opt);
       *s_opt=s;
       *f_s_opt=f(s);
   }
}