sym_constraint.h

/*{\Manpage {sym_constraint} {} {Symbolic Constraint}{C}}*/
#ifndef SCIL_SYM_CONSTRAINT_H
#define SCIL_SYM_CONSTRAINT_H

#include <scil/global.h>

namespace SCIL {

class subproblem;
class solution;

class sym_constraint {

  public:

  enum status { no_constraint_found, constraint_found, fathom, 
                exception_branch, resolve_immediately, feasible_solution, 
                infeasible_solution, variable_found, no_variable_found, 
                preemtion, continue_work };

  virtual ~sym_constraint() {};

  virtual status separate(subproblem&) {
    return no_constraint_found; 
  }

  virtual void init(subproblem&) { 
  }
  
  virtual status feasible(solution&) {
    return feasible_solution; 
  }

  virtual status LP_pricing(subproblem&) {
    return no_variable_found; 
  }

  virtual status mf_pricing(subproblem&) {
    return no_variable_found;
  }

  virtual status close_subproblem(subproblem&) {
    return continue_work;
  }

  virtual status open_subproblem(subproblem&) {
    return continue_work;
  }

  virtual void info() {
  };

  //virtual list<branching_rule> generate_branching_candidates(ILP_Problem&, subproblem&);
  /*{\Mfunc This function is called if the BCP-system wants to branch a 
    subproblem. It returns a list of possible branching rules.}*/
};

}

#endif

---