SetView.java

00001 /*
00002  *  Main authors:
00003  *     Mikael Lagerkvist <lagerkvist@gecode.org>
00004  *     Guido Tack <tack@gecode.org>
00005  *
00006  *  Copyright:
00007  *     Mikael Lagerkvist, 2006
00008  *     Guido Tack, 2006
00009  *
00010  *  Last modified:
00011  *     $Date: 2006-09-11 17:06:50 +0200 (Mon, 11 Sep 2006) $ by $Author: zayenz $
00012  *     $Revision: 3650 $
00013  *
00014  *  This file is part of Gecode, the generic constraint
00015  *  development environment:
00016  *     http://www.gecode.org
00017  *
00018  *  See the file "LICENSE" for information on usage and
00019  *  redistribution of this file, and for a
00020  *     DISCLAIMER OF ALL WARRANTIES.
00021  *
00022  */
00023 
00024 package org.gecode;
00025 
00038 public interface SetView extends GecodeView {
00041   public SetView copy(JavaSpace s, boolean share);
00044   public void subscribe(JavaSpace s, JavaPropagator p, PropCond pc);
00047   public void cancel(JavaSpace s, JavaPropagator p, PropCond pc);
00048 
00051   public boolean assigned();
00052 
00053 
00054   /*
00055    *   Value access
00056    */
00058   public long cardMin();
00060   public long cardMax();
00062   public int lubMin();
00064   public int lubMax();
00066   public int lubMinN(int n);
00068   public int lubMaxN(int n);
00070   public int glbMin();
00072   public int glbMax();
00074   public long glbSize();
00076   public long lubSize();
00078   public long unknownSize();
00080   public boolean contains(int i);
00082   public boolean notContains(int i);
00083 
00084   /*
00085    * Tells
00086    */
00088   public SetModEvent cardMin(JavaSpace home, long m);
00090   public SetModEvent cardMax(JavaSpace home, long m);
00095   public SetModEvent include(JavaSpace home,int i,int j);
00100   public SetModEvent exclude(JavaSpace home,int i,int j);
00102   public SetModEvent include(JavaSpace home,int i);
00104   public SetModEvent exclude(JavaSpace home,int i);
00109   public SetModEvent intersect(JavaSpace home,int i,int j);
00111   public SetModEvent intersect(JavaSpace home,int i);
00112 
00114   public SetModEvent exclude(JavaSpace home, RangeIterator iter);
00116   public SetModEvent include(JavaSpace home, RangeIterator iter);
00118   public SetModEvent intersect(JavaSpace home, RangeIterator iter);
00119 }