---

infeasible_delta.h

Go to the documentation of this file.

// Infeasible Delta implementation -*- C++ -*-

// Copyright (C) 2001-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 _INFEASIBLE_DELTA_H_
#define _INFEASIBLE_DELTA_H_

#include <api_delta.h>

class infeasible_undelta : public undelta_base
{
private:
  bool old_infeasible;
  
public:
  infeasible_undelta(bool _oi = false) : undelta_base(), old_infeasible(_oi) {}
  infeasible_undelta(const infeasible_undelta& __d) : undelta_base(__d),
                                   old_infeasible(__d.old_infeasible)
      {
#if DEBUG_DELTA
        std::cerr << "Called infeasible_undelta copy constructor" << std::endl;
#endif
      }

  ~infeasible_undelta() {}

  infeasible_undelta* new_copy() const { return new infeasible_undelta(*this); }
  void destroy_copy(infeasible_undelta* __d) { delete __d; }

  bool unapply(work_node& _x) const
  {
    _x.infeasible = old_infeasible;
    return true;
  }
};

class infeasible_delta : public delta_base
{
public:
  infeasible_delta() : delta_base("infeasible") {}
  infeasible_delta(const infeasible_delta& __d) : delta_base(__d)
    {
#if DEBUG_DELTA
        std::cerr << "Called infeasible_delta copy constructor" << std::endl;
#endif
    }

  ~infeasible_delta() {}

  infeasible_delta* new_copy() const { return new infeasible_delta(*this); }
  void destroy_copy(infeasible_delta* __d) { delete __d; }

  bool apply(work_node& _x, undelta_base*& _u) const
  {
    _u = (undelta_base *) new infeasible_undelta(_x.infeasible);
    _x.infeasible = true;
    return true;
  }
};

#endif /* _INFEASIBLE_DELTA_H_ */

---