diameter_hook.h

Go to the documentation of this file.

// Search Node diameter computation hook implementation -*- C++ -*-

// $Id: diameter_hook.h 601 2008-04-29 23:18:57Z herman $
// Copyright (C) 2003 Hermann Schichl
//
// 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 _DIAMETER_HOOK_H
#define _DIAMETER_HOOK_H

#include <comp_hook.h>

namespace coco {


class diameter_comp_hook : public wnc_hook_base
{
public:
  diameter_comp_hook() : wnc_hook_base("diameter") {}

  virtual ~diameter_comp_hook() {}

  diameter_comp_hook* new_copy() const { return new diameter_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());

    double diam=0.;
    double minw=COCO_INF;
    for(unsigned int i = 0; i < nvars; ++i)
    {
      double wdth(wn.node_ranges[m->var(i)->node_num].width());
      diam = std::max(diam, wdth);
      minw = std::min(minw, wdth);
    }
    dbr.add("diameter", diam);
    dbr.add("min width", minw);
  }

  bool init_columns(vdbl::standard_table& stable)
        { bool ret = _init_column(stable, "diameter", 0.);
          ret = _init_column(stable, "min width", COCO_INF) || ret;
          return ret; }

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

} // namespace coco

#endif // _DIAMETER_HOOK_H

---