main page modules namespaces classes files
Gecode/J home

OffsetView.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Mikael Lagerkvist, 2006
 *     Guido Tack, 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 class OffsetView<IV extends IntView> implements IntView {
    private IV v;
    private int c;

    public OffsetView() {}
    public OffsetView(JavaSpace s, int c0, IV x) {
        v = x;
        c = c0;
    }

    @SuppressWarnings("unchecked") 
    public OffsetView<IV> copy(JavaSpace newHome, boolean share) {
        OffsetView<IV> nv = new OffsetView<IV>();
        nv.v = (IV)v.copy(newHome, share);
        nv.c = c;
        return nv;
    }
    public void subscribe(JavaSpace s, JavaPropagator p, PropCond pc) {
        v.subscribe(s, p, pc);
    }
    public void cancel(JavaSpace s, JavaPropagator p, PropCond pc) {
        v.cancel(s, p, pc);
    }

    public boolean assigned() { return v.assigned(); }
    public int val() { return v.val()+c; }
    public int min() { return v.min()+c; }
    public int max() { return v.max()+c; }
    public boolean in(int val) { return v.in(val-c); }

    public IntModEvent lq(JavaSpace s, int i) {
        return v.lq(s, i-c);
    }
    public IntModEvent eq(JavaSpace s, int i) {
        return v.eq(s, i-c);
    }
    public IntModEvent gq(JavaSpace s, int i) {
        return v.gq(s, i-c);
    }
    public IntModEvent nq(JavaSpace s, int i) {
        return v.nq(s, i-c);
    }

    public IntModEvent inter(JavaSpace s, RangeIterator iter) {
        throw (new UnsupportedOperationException("Not implemented"));
    }
}