main page modules namespaces classes files
Gecode home

search for 

imp-hdr.icc

Go to the documentation of this file.

/*
 *  CAUTION:
 *    This file has been automatically generated.
 *    Do not edit, edit the file "gecode/int/var-imp.vis" instead.
 *
 *  This file contains generated code fragments which are 
 *  copyrighted as follows:
 *
 *  Main author:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2006
 *
 *  The generated code fragments are 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 {


  const Gecode::ModEvent ME_INT_FAILED = Gecode::ME_GEN_FAILED;

  const Gecode::ModEvent ME_INT_NONE = Gecode::ME_GEN_NONE;

  const Gecode::ModEvent ME_INT_VAL = Gecode::ME_GEN_ASSIGNED;

  const Gecode::ModEvent ME_INT_BND = Gecode::ME_GEN_ASSIGNED + 1;

  const Gecode::ModEvent ME_INT_DOM = Gecode::ME_GEN_ASSIGNED + 2;

  const Gecode::PropCond PC_INT_VAL = Gecode::PC_GEN_ASSIGNED;

  const Gecode::PropCond PC_INT_BND = Gecode::PC_GEN_ASSIGNED + 1;

  const Gecode::PropCond PC_INT_DOM = Gecode::PC_GEN_ASSIGNED + 2;


  class IntMeDiff {
  public:
    ModEvent operator()(ModEvent me1, ModEvent me2) const;
  };

  class IntVarImpBase : public Gecode::Variable<VTI_INT,PC_INT_DOM,IntMeDiff> {
  protected:
    class Processor : public Gecode::VarTypeProcessor<VTI_INT,PC_INT_DOM,IntMeDiff> {
    public:
      GECODE_INT_EXPORT virtual void process(Space* home, VarBase* x);
    };
    GECODE_INT_EXPORT static Processor p;
    IntVarImpBase(Space* home, bool share, IntVarImpBase& x);
  public:
    IntVarImpBase(Space* home);


    void subscribe(Space* home, Propagator* p, PropCond pc, bool assigned, bool process);
    void notify(Space* home, ModEvent me);


  };


  forceinline ModEvent
  IntMeDiff::operator()(ModEvent me1, ModEvent me2) const {
    const int med = (
      (
        ((ME_INT_NONE ^ ME_INT_NONE) << 0) |  // [ME_INT_NONE][ME_INT_NONE]
        ((ME_INT_VAL ^ ME_INT_VAL) << 2) |  // [ME_INT_NONE][ME_INT_VAL]
        ((ME_INT_BND ^ ME_INT_BND) << 4) |  // [ME_INT_NONE][ME_INT_BND]
        ((ME_INT_DOM ^ ME_INT_DOM) << 6)    // [ME_INT_NONE][ME_INT_DOM]
      ) |
      (
        ((ME_INT_NONE ^ ME_INT_VAL) << 8) |  // [ME_INT_VAL][ME_INT_NONE]
        ((ME_INT_VAL ^ ME_INT_VAL) << 10) |  // [ME_INT_VAL][ME_INT_VAL]
        ((ME_INT_BND ^ ME_INT_VAL) << 12) |  // [ME_INT_VAL][ME_INT_BND]
        ((ME_INT_DOM ^ ME_INT_VAL) << 14)    // [ME_INT_VAL][ME_INT_DOM]
      ) |
      (
        ((ME_INT_NONE ^ ME_INT_BND) << 16) |  // [ME_INT_BND][ME_INT_NONE]
        ((ME_INT_VAL ^ ME_INT_VAL) << 18) |  // [ME_INT_BND][ME_INT_VAL]
        ((ME_INT_BND ^ ME_INT_BND) << 20) |  // [ME_INT_BND][ME_INT_BND]
        ((ME_INT_DOM ^ ME_INT_BND) << 22)    // [ME_INT_BND][ME_INT_DOM]
      ) |
      (
        ((ME_INT_NONE ^ ME_INT_DOM) << 24) |  // [ME_INT_DOM][ME_INT_NONE]
        ((ME_INT_VAL ^ ME_INT_VAL) << 26) |  // [ME_INT_DOM][ME_INT_VAL]
        ((ME_INT_BND ^ ME_INT_BND) << 28) |  // [ME_INT_DOM][ME_INT_BND]
        ((ME_INT_DOM ^ ME_INT_DOM) << 30)    // [ME_INT_DOM][ME_INT_DOM]
      )
    );
    return (((med >> (me1 << 3)) >> (me2 << 1)) & 3);
  }

  forceinline
  IntVarImpBase::IntVarImpBase(Space* home)
    : Gecode::Variable<VTI_INT,PC_INT_DOM,IntMeDiff>(home) {}

  forceinline
  IntVarImpBase::IntVarImpBase(Space* home, bool share, IntVarImpBase& x)
    : Gecode::Variable<VTI_INT,PC_INT_DOM,IntMeDiff>(home,share,x) {}

  forceinline void
  IntVarImpBase::subscribe(Space* home, Propagator* p, PropCond pc, bool assigned, bool process) {
    Gecode::Variable<VTI_INT,PC_INT_DOM,IntMeDiff>::subscribe(home,p,pc,assigned,ME_INT_BND,process);
  }

  forceinline void
  IntVarImpBase::notify(Space* home, ModEvent me) {
    Gecode::Variable<VTI_INT,PC_INT_DOM,IntMeDiff>::notify(home,me);
  }

}}

// STATISTICS: int-var