main page modules namespaces classes files
Gecode home

search for 

rel-op-const.cc

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Contributing authors:
 *     Gabor Szokoli <szokoli@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2004, 2005
 *
 *  Last modified:
 *     $Date: 2006-04-11 15:58:37 +0200 (Tue, 11 Apr 2006) $ by $Author: tack $
 *     $Revision: 3188 $
 *
 *  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.
 *
 */

#include "gecode/set.hh"
#include "gecode/iter.hh"
#include "gecode/set/rel.hh"
#include "gecode/set/rel-op.hh"

namespace Gecode {
  using namespace Gecode::Set;
  using namespace Gecode::Set::Rel;
  using namespace Gecode::Set::RelOp;

  void
  rel(Space* home, const IntSet& x, SetOpType op, SetVar y, SetRelType r,
      SetVar z) {
    ConstantView xv(home, x);
    rel_op_post<ConstantView,SetView,SetView>(home, xv, op, y, r, z);
  }  

  void
  rel(Space* home, SetVar x, SetOpType op, const IntSet& y, SetRelType r,
      SetVar z) {
    ConstantView yv(home, y);

    if (op==SOT_MINUS) {
      switch(r) {
      case SRT_EQ:
        {
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,SetView>
                          ::post(home,cy,x,z)));
        }
        break;
      case SRT_NQ:
        {
          SetVar tmp(home);
          GECODE_ES_FAIL(home,
                         (Distinct<SetView,SetView>
                          ::post(home,z,tmp)));
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,SetView>
                          ::post(home,cy,x,tmp)));
        }
        break;
      case SRT_SUB:
        {
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (SuperOfInter<SetView,
                          ComplementView<ConstantView>,SetView>
                          ::post(home,x,cy,z)));

        }
        break;
      case SRT_SUP:
        {
          SetVar tmp(home);
          GECODE_ES_FAIL(home,
                         (SubSet<SetView,SetView>::post(home,z,tmp)));
          
          SetView xv(x);
          ComplementView<SetView> cx(xv);
          GECODE_ES_FAIL(home,
                         (Intersection<ConstantView,
                          ComplementView<SetView>,SetView>
                          ::post(home,yv,cx,tmp)));
        }
        break;
      case SRT_DISJ:
        {
          SetVar tmp(home);
          EmptyView emptyset;
          GECODE_ES_FAIL(home,(SuperOfInter<SetView,SetView,EmptyView>
                               ::post(home, z, tmp, emptyset)));

          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,SetView>
                          ::post(home,cy,x,tmp)));
        }
        break;
      case SRT_CMPL:
        {
          SetView xv(x);
          ComplementView<SetView> cx(xv);
          GECODE_ES_FAIL(home,
                         (Union<ConstantView,
                          ComplementView<SetView>,
                          SetView>::post(home, yv, cx, z)));
        }
        break;
      }
    } else {
      rel_op_post<ConstantView,SetView,SetView>(home, yv, op, x, r, z);
    }
  }  

  void
  rel(Space* home, SetVar x, SetOpType op, SetVar y, SetRelType r,
      const IntSet& z) {
    ConstantView zv(home, z);
    rel_op_post<SetView,SetView,ConstantView>(home, x, op, y, r, zv);
  }  

  void
  rel(Space* home, const IntSet& x, SetOpType op, const IntSet& y,
      SetRelType r, SetVar z) {
    ConstantView xv(home, x);
    ConstantView yv(home, y);
    rel_op_post<ConstantView,ConstantView,SetView>(home, xv, op, yv, r, z);
  }  

  void
  rel(Space* home, const IntSet& x, SetOpType op, SetVar y, SetRelType r,
      const IntSet& z) {
    ConstantView xv(home, x);
    ConstantView zv(home, z);
    rel_op_post<ConstantView,SetView,ConstantView>(home, xv, op, y, r, zv);
  }  

  void
  rel(Space* home, SetVar x, SetOpType op, const IntSet& y, SetRelType r,
      const IntSet& z) {
    ConstantView yv(home, y);
    ConstantView zv(home, z);

    if (op==SOT_MINUS) {
      switch(r) {
      case SRT_EQ:
        {
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,ConstantView>
                          ::post(home,cy,x,zv)));
        }
        break;
      case SRT_NQ:
        {
          SetVar tmp(home);
          GECODE_ES_FAIL(home,
                         (Distinct<ConstantView,SetView>
                          ::post(home,zv,tmp)));
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,SetView>
                          ::post(home,cy,x,tmp)));
        }
        break;
      case SRT_SUB:
        {
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (SuperOfInter<SetView,
                          ComplementView<ConstantView>,ConstantView>
                          ::post(home,x,cy,zv)));

        }
        break;
      case SRT_SUP:
        {
          // z <= tmp
          SetVar tmp(home,z,Limits::Set::int_min, Limits::Set::int_max);
          SetView xv(x);
          ComplementView<SetView> cx(xv);
          
          GECODE_ES_FAIL(home,
                         (Intersection<ConstantView,
                          ComplementView<SetView>,SetView>
                          ::post(home,yv,cx,tmp)));
        }
        break;
      case SRT_DISJ:
        {
          SetVar tmp(home);
          SetView tmpv(tmp);
          IntSetRanges zi(z);
          GECODE_ME_FAIL(home, tmpv.excludeI(home, zi));
          
          ComplementView<ConstantView> cy(yv);
          GECODE_ES_FAIL(home,
                         (Intersection<ComplementView<ConstantView>,
                          SetView,SetView>
                          ::post(home,cy,x,tmp)));
        }
        break;
      case SRT_CMPL:
        {
          SetView xv(x);
          ComplementView<SetView> cx(xv);
          GECODE_ES_FAIL(home,
                         (Union<ConstantView,
                          ComplementView<SetView>,
                          ConstantView>::post(home, yv, cx, zv)));
        }
        break;
      }
    } else {
      rel_op_post<ConstantView,SetView,ConstantView>(home, yv, op, x, r, zv);
    }
  }  

}

// STATISTICS: set-post