GecodeView.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-03-09 15:15:27 +0100 (tor, 09 mar 2006) $ by $Author: zayenz $
00012  *     $Revision: 3069 $
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 
00026 
00034 public interface GecodeView {
00037     public GecodeView copy(JavaSpace s, boolean share);
00038 
00041     public void subscribe(JavaSpace s, JavaPropagator p, PropCond pc);
00042 
00045     public void cancel(JavaSpace s, JavaPropagator p, PropCond pc);
00046 
00049     public boolean assigned();
00050 }