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 "../trunk/gecode/set/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 Set {


  const Gecode::ModEvent ME_SET_FAILED = Gecode::ME_GEN_FAILED;

  const Gecode::ModEvent ME_SET_NONE = Gecode::ME_GEN_NONE;

  const Gecode::ModEvent ME_SET_VAL = Gecode::ME_GEN_ASSIGNED;

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

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

  const Gecode::ModEvent ME_SET_GLB = Gecode::ME_GEN_ASSIGNED + 3;

  const Gecode::ModEvent ME_SET_BB = Gecode::ME_GEN_ASSIGNED + 4;

  const Gecode::ModEvent ME_SET_CLUB = Gecode::ME_GEN_ASSIGNED + 5;

  const Gecode::ModEvent ME_SET_CGLB = Gecode::ME_GEN_ASSIGNED + 6;

  const Gecode::ModEvent ME_SET_CBB = Gecode::ME_GEN_ASSIGNED + 7;

  const Gecode::PropCond PC_SET_VAL = Gecode::PC_GEN_ASSIGNED;

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

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

  const Gecode::PropCond PC_SET_CGLB = Gecode::PC_GEN_ASSIGNED + 3;

  const Gecode::PropCond PC_SET_ANY = Gecode::PC_GEN_ASSIGNED + 4;


  class SetMeDiff {
  private:
    GECODE_SET_EXPORT static const Gecode::ModEvent med[ME_SET_CBB+1][ME_SET_CBB+1];
  public:
    ModEvent operator()(ModEvent me1, ModEvent me2) const;
  };

  class SetVarImpBase : public Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff> {
  protected:
    class Processor : public Gecode::VarTypeProcessor<VTI_SET,PC_SET_ANY,SetMeDiff> {
    public:
      GECODE_SET_EXPORT virtual void process(Space* home, VarBase* x);
    };
    GECODE_SET_EXPORT static Processor p;
    SetVarImpBase(Space* home, bool share, SetVarImpBase& x);
  public:
    SetVarImpBase(Space* home);


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


  };


  forceinline ModEvent
  SetMeDiff::operator()(ModEvent me1, ModEvent me2) const {
    return med[me1][me2];
  }

  forceinline
  SetVarImpBase::SetVarImpBase(Space* home)
    : Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>(home) {}

  forceinline
  SetVarImpBase::SetVarImpBase(Space* home, bool share, SetVarImpBase& x)
    : Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>(home,share,x) {}

  forceinline void
  SetVarImpBase::subscribe(Space* home, Propagator* p, PropCond pc, bool assigned, bool process) {
    Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>::subscribe(home,p,pc,assigned,ME_SET_CBB,process);
  }

  forceinline void
  SetVarImpBase::notify(Space* home, ModEvent me) {
    Gecode::Variable<VTI_SET,PC_SET_ANY,SetMeDiff>::notify(home,me);
  }

}}

// STATISTICS: set-var