/*
 *  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