pending_status_hook.h

Go to the documentation of this file.

// Search Node pending status computation hook implementation -*- C++ -*-

// $Id: pending_status_hook.h 601 2008-04-29 23:18:57Z herman $
// Copyright (C) 2005 Hermann Schichl, Chandra Sekhar Pedamallu
//
// This file is part of the COCONUT API.  This library
// is free software; you can redistribute it and/or modify it under the
// terms of the Library GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// Library GNU General Public License for more details.

// As a special exception, you may use this file as part of a free software
// library without restriction.  Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the Library GNU General Public License.  This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the Library GNU General Public License.

#ifndef _PENDING_STATUS_HOOK_H
#define _PENDING_STATUS_HOOK_H

#include <comp_hook.h>
#include <int_evaluator.h>

namespace coco {


class pending_status_comp_hook : public wnc_hook_base
{
public:
  pending_status_comp_hook() : wnc_hook_base("pending_status") {}

  virtual ~pending_status_comp_hook() {}

  pending_status_comp_hook* new_copy() const
    { return new pending_status_comp_hook(*this); }

  void operator()(const work_node& wn, dbt_row& dbr,
                  std::list<delta>* a=NULL, std::list<certificate>* b=NULL) const
  {
    const model* m = wn.get_model();
    unsigned int nvars(m->number_of_variables());
    variable_indicator vi(nvars);
    std::vector<interval> box(nvars, 0.);
    model::const_walker w;
    interval rg;
    double pending_status(0.);
    
    vi.set(0,nvars);
    
    for(unsigned int i = 0; i < nvars; ++i)
          box[i] = wn.node_ranges[m->var(i)->node_num];
    interval_eval ie(box, vi, *m, NULL, false);

    for(model::const_ref_iterator _ci = m->constraints.begin();
              _ci != m->constraints.end(); ++_ci)
    {
       w = *_ci;
       rg = evaluate(ie, w);
       const interval &bds(w->f_bounds);
       if(bds.sup() < rg.inf() || rg.sup() < bds.inf())
       {
         pending_status = -COCO_INF;
         break;
       }
       if(!bds.contains(rg))
       {
         if(rg.sup() != bds.sup())
           pending_status += rg.sup() - bds.sup();
         if(rg.inf() != bds.inf())
           pending_status += bds.inf() - rg.inf();
       }
    }
    
    dbr.add("pending status", pending_status);
  }

  bool init_columns(vdbl::standard_table& stable)
        { return _init_column(stable, "pending status", COCO_INF); }

  bool drop_columns(vdbl::standard_table& stable)
        { return _drop_columns(stable); }
};

} // namespace coco

#endif // _PENDING_STATUS_HOOK_H

---