//import choco.Problem;
import choco.ContradictionException;
import choco.integer.*;
import choco.util.*;


public class DecisionVar {
    IntDomainVar v;    // 0/1

    public String toString(){return v.pretty();}

    public DecisionVar(IntDomainVar v) {
	this.v  = v;
    }


    public void setVal(int x) throws ContradictionException {v.setVal(x);}
    public int getDomainSize() {return v.getDomainSize();}
    public int getInf() {return v.getInf();}
    public int getVal() {return v.getVal();}   
    public boolean canBeInstantiatedTo(int x){return v.canBeInstantiatedTo(x);}
    public IntIterator getIterator(){return v.getDomain().getIterator();}

}