aima.core.search.csp.Constraint Maven / Gradle / Ivy

package aima.core.search.csp;

import java.util.List;

/**
 * A constraint specifies the allowable combinations of values for a set of
 * variables. Each constraint consists of a pair , where scope is a
 * tuple of variables that participate in the constraint and rel is a relation
 * that defines the values that those variables can take on.

 * 

 * Note: Implementations of this interface define the different kinds of
 * relations that constraints can represent.
 * 
 * @author Ruediger Lunde
 */
public interface Constraint {
	/** Returns a tuple of variables that participate in the constraint. */
	List getScope();

	/** Constrains the values that the variables can take on. */
	boolean isSatisfiedWith(Assignment assignment);
}