main page modules namespaces classes files
Gecode/J home

BinaryPropagator.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *
 *  Copyright:
 *     Mikael Lagerkvist, 2006
 *
 *  Last modified:
 *     $Date: 2006-09-11 17:06:50 +0200 (Mon, 11 Sep 2006) $ by $Author: zayenz $
 *     $Revision: 3650 $
 *
 *  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.
 *
 */

package org.gecode;

public abstract class BinaryPropagator<GV extends GecodeView> extends Propagator {
    protected GV x,y;
    private PropCond pc;

    public BinaryPropagator(Space s, GV x0, GV y0, PropCond pc0) {
        x = x0;
        y = y0;
        pc = pc0;
    }
    @SuppressWarnings("unchecked") 
    public BinaryPropagator(Space s, boolean share, BinaryPropagator p) {
        x = (GV)p.x.copy(s, share);
        y = (GV)p.y.copy(s, share);
        pc = p.pc;
    }
    public void dispose(Space home) {
        x.cancel(home, this,pc);
        y.cancel(home, this,pc);
    }
    public ExecStatus setup(Space home) { 
        x.subscribe(home,this,pc);
        y.subscribe(home,this,pc);
        return ExecStatus.ES_OK;
    }
}