scil.c

#line 187 "lw/scil.lw"
#include<scil/scil.h>

using namespace SCIL;
using namespace LEDA;

ILP_Problem_::ILP_Problem_(Opt_Sense os_, subproblem* b, 
                          Subproblem_Generator* sg,
                          Subproblem_Selector* ss, Solution_Saver* s) 
  : os(os_), root(b), sub_gen(sg), sub_sel(ss), sol_save(s)
{ };

ILP_Problem_::ILP_Problem_() {
  root=0;
  sub_gen=0;
  sub_sel=0;
  sol_save=0;
};

#line 210 "lw/scil.lw"
void ILP_Problem_::optimize() {
  subproblem_result bs;
  subproblem* act_bound=root;
  root->add_sym_constraint(int_cons);
  nSP=0;

  while(act_bound!=nil) {
    cout<<nSP<<"th subproblem "<<act_bound->rank()<<" rank "
        <<sol_save->obj_value()<<" best known solution\n";

    bs=act_bound->compute(sol_save);

    if(bs==br_branch) {
      nSP+=sub_gen->generate(act_bound, sub_sel);
    };

    if((bs==br_fathom) && (act_bound!=root))
      delete act_bound;

    act_bound=sub_sel->select();
    if(act_bound!=nil) act_bound->expand();
  }
}


#line 240 "lw/scil.lw"
var ILP_Problem_::add_binary_variable(double d) {
  return root->add_binary_variable(d);
};

var ILP_Problem_::add_integer_variable(double d, int lb, int ub) {
  return root->add_integer_variable(d, lb, ub);
};

var ILP_Problem_::add_continous_variable(double d, double lb, double ub) {
  return root->add_continous_variable(d, lb, ub);
};

var ILP_Problem_::add_integer_variable(var_obj* va) {
  return root->add_integer_variable(va);
};

var ILP_Problem_::add_continous_variable(var_obj* va) {
  return root->add_continous_variable(va);
};

cons ILP_Problem_::add_basic_constraint(cons_sense s, double d) {
  return root->add_basic_constraint(s, d);
};

cons ILP_Problem_::add_basic_constraint(cons_obj* co) {
  return root->add_basic_constraint(co);
};

void ILP_Problem_::add_sym_constraint(sym_constraint* sc) {
  root->add_sym_constraint(sc);
};

double ILP_Problem_::solution(var v) {
  return sol_save->get_value(v);
};

Integrality_Constraint* ILP_Problem_::integrality_constraint() {
  return int_cons;
};

---