main page modules namespaces classes files
Gecode home

search for 

noview.icc

Go to the documentation of this file.

/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2002
 *
 *  Last modified:
 *     $Date: 2006-08-24 11:25:05 +0200 (Thu, 24 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3559 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

namespace Gecode {

  namespace Int { namespace Linear {

    class NoView : public ConstantViewBase {
    public:


      NoView(void) {}
      void init(void) {}



      int min(void) const { return 0; }
      int max(void) const { return 0; }
      int med(void) const { return 0; }
      int val(void) const { return 0; }

      unsigned int size(void) const { return 1; }
      unsigned int width(void) const { return 1; }
      unsigned int regret_min(void) const { return 0; }
      unsigned int regret_max(void) const { return 0; }



      bool range(void) const { return true; }
      bool assigned(void) const { return true; }

      bool in(int n) const { return false; }
      bool in(double n) const { return false; }



      ModEvent lq(Space* home, int n) { return ME_INT_NONE; }
      ModEvent lq(Space* home, double n) { return ME_INT_NONE; }
      ModEvent le(Space* home, int n) { return ME_INT_NONE; }
      ModEvent le(Space* home, double n) { return ME_INT_NONE; }
      ModEvent gq(Space* home, int n) { return ME_INT_NONE; }
      ModEvent gq(Space* home, double n) { return ME_INT_NONE; }
      ModEvent gr(Space* home, int n) { return ME_INT_NONE; }
      ModEvent gr(Space* home, double n) { return ME_INT_NONE; }
      ModEvent nq(Space* home, int n) { return ME_INT_NONE; }
      ModEvent nq(Space* home, double n) { return ME_INT_NONE; }
      ModEvent eq(Space* home, int n) { return ME_INT_NONE; }
      ModEvent eq(Space* home, double n) { return ME_INT_NONE; }



      static ModEvent pme(const Propagator* p) { return ME_INT_NONE; }
      static PropModEvent pme(ModEvent me) { return ME_INT_NONE; }



      void subscribe(Space* home, Propagator* p, PropCond pc, bool process=true) {}
      void cancel(Space* home, Propagator* p, PropCond pc) {}



      void update(Space* home, bool share, NoView& x) {}



      bool operator ==(const NoView& x) const { return true; }
      bool operator !=(const NoView& x) const { return false; }
      bool operator < (const NoView& x) const { return false; }
      bool operator > (const NoView& x) const { return false; }
    };

  }}


  template <>
  class ViewArray<Int::Linear::NoView> {
  public:


    ViewArray(void) {}
    ViewArray(Space* home, int m) {}
    ViewArray(const ViewArray<Int::Linear::NoView>&) {}
    ViewArray(Space*, const ViewArray<Int::Linear::NoView>&) {}
    const ViewArray<Int::Linear::NoView>& operator=(const ViewArray<Int::Linear::NoView>&) { return *this; }



    int size(void) const { return 0; }
    void size(int n) {}



    Int::Linear::NoView operator[](int i) { Int::Linear::NoView n; return n; }



    void subscribe(Space*, Propagator* p, PropCond pc, bool process=true) {}
    void cancel(Space* home, Propagator* p, PropCond pc) {}



    void update(Space*, bool share, ViewArray<Int::Linear::NoView>& a) {}




    void move_fst(int i) {}
    void move_lst(int i) {}
    void move_fst(int i, Propagator* p, PropCond pc) {}
    void move_lst(int i, Propagator* p, PropCond pc) {}



    void drop_fst(int i);
    void drop_lst(int i);
    void drop_fst(int i, Propagator* p, PropCond pc) {}
    void drop_lst(int i, Propagator* p, PropCond pc) {}



    bool equal(void) const { return false; }
    bool equal(const Int::Linear::NoView& y) const {return false; }
    void unique(void) {}



    bool shared(void) const { return false; }
    bool shared(const Int::Linear::NoView& y) const { return false; }

  private:
    static void* operator new(size_t);
    static void  operator delete(void*,size_t);
  };

}


// STATISTICS: int-prop