Constraint_Type.java

package agg.xt_basis.csp;

import agg.util.csp.BinaryConstraint;
import agg.util.csp.Variable;
import agg.xt_basis.GraphObject;

public class Constraint_Type extends BinaryConstraint {
	
	private GraphObject itsGraphObj;

	public Constraint_Type(GraphObject graphobj, Variable var) {
		super(var, 0);
		this.itsGraphObj = graphobj;
	}

	public void clear() {
		this.itsVar1 = null;
		this.itsGraphObj = null;
	}
	
	/**
	 * Return true iff the current instance of <code>obj</code> is type
	 * compatible with the GraphObject that has been passed to my constructor.
	 * In this case, "type" means an element of the cartesian product of
	 * <code>Type</code> x {Node,Arc}.
	 * <p>
	 * Pre: (1) obj.getInstance() instanceof GraphObject.
	 */
	public final boolean execute() {
//		if (getVar1().getInstance() instanceof GraphObject) 
			if (this.itsGraphObj.getType().isParentOf(((GraphObject) getVar1().getInstance()).getType())) {
				return true;
			}
		
		return false;
	}

	public GraphObject getGraphObject() {
		return this.itsGraphObj;
	}
}