org.metacsp.framework.meta.FocusConstraint Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of meta-csp-framework Show documentation

A Java API for Meta-CSP based reasoning

There is a newer version: 1.3.5

package org.metacsp.framework.meta;

import java.util.Arrays;

import org.metacsp.framework.Constraint;
import org.metacsp.framework.Variable;

public class FocusConstraint extends Constraint {

	private static final long serialVersionUID = 1065072281439135501L;

	@Override
	public String toString() {
		return Arrays.toString(this.getScope());
	}

	@Override
	public String getEdgeLabel() {
		return Arrays.toString(this.getScope());
	}

	@Override
	public Object clone() {
		FocusConstraint ret = new FocusConstraint();
		ret.setScope(this.getScope());
		return ret;
	}

	@Override
	public boolean isEquivalent(Constraint c) {
		if (!(c instanceof FocusConstraint)) return false;
		for (Variable var : this.getScope()) {
			boolean found = false;
			for (Variable var1 : c.getScope()) {
				if (var1.equals(var)) {
					found = true;
					break;
				}
			}
			if (!found) return false;
		}
		return true;
	}

}