org.metacsp.multi.symbols

Class SymbolicValueConstraint

java.lang.Object

org.metacsp.framework.Constraint

org.metacsp.framework.multi.MultiConstraint

org.metacsp.multi.symbols.SymbolicValueConstraint

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class SymbolicValueConstraint
extends MultiConstraint

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SymbolicValueConstraint.Type

Field Summary

Fields inherited from class org.metacsp.framework.multi.MultiConstraint

constraints

Fields inherited from class org.metacsp.framework.Constraint

annotation, autoRemovable, color, id, logger, masked, numIDs, scope

Constructor Summary

Constructors

Constructor and Description
SymbolicValueConstraint(SymbolicValueConstraint.Type type)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone() A MultiConstraint must be cloneable.
protected Constraint[]	createInternalConstraints(Variable[] variables) This method must be implemented by the implementing class, and should instantiate the internal constraints underlying this MultiConstraint.
java.lang.String	getEdgeLabel() Every Constraint should implement this method - its value is what is drawn by the ConstraintNetwork rendering methods.
java.lang.Object	getType()
java.lang.String[]	getValue()
boolean	isEquivalent(Constraint c) Method for assessing the "equivalence" between two constraints.
void	setFrom(Variable f)
void	setTo(Variable t)
void	setUnaryValue(boolean[] unaryValue) Deprecated.
void	setValue(boolean[] unaryValue)
void	setValue(java.lang.String... symbols)
java.lang.String	toString() Every Constraint should implement a toString method (used by the ConstraintNetwork rendering methods).

Methods inherited from class org.metacsp.framework.multi.MultiConstraint

getDescription, getInternalConstraints, propagateImmediately, setPropagateImmediately, setPropagateLater

Methods inherited from class org.metacsp.framework.Constraint

getAnnotation, getColor, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmask

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SymbolicValueConstraint

public SymbolicValueConstraint(SymbolicValueConstraint.Type type)

Method Detail

setUnaryValue

@Deprecated
public void setUnaryValue(boolean[] unaryValue)

Deprecated.

getValue

public java.lang.String[] getValue()

setValue

public void setValue(boolean[] unaryValue)

setValue

public void setValue(java.lang.String... symbols)

getEdgeLabel

public java.lang.String getEdgeLabel()

Description copied from class: Constraint

Every Constraint should implement this method - its value is what is drawn by the ConstraintNetwork rendering methods.

Specified by:

getEdgeLabel in class Constraint

Returns:

a String representation of the constraint to be used for ConstraintNetwork rendering.

clone

public java.lang.Object clone()

Description copied from class: MultiConstraint

A MultiConstraint must be cloneable. This is used by the MultiConstraintSolver class to instantiate proper constraints to delegate its underlying ConstraintSolvers.

Specified by:

clone in class MultiConstraint

isEquivalent

public boolean isEquivalent(Constraint c)

Description copied from class: Constraint

Method for assessing the "equivalence" between two constraints. This is not used for lookups nor comparisons (hence, it is not the equals method).

Specified by:

isEquivalent in class Constraint

Parameters:

c - The Constraint to compare against.

Returns:

true iff the two constraints are considered to be equivalent.

getType

public java.lang.Object getType()

createInternalConstraints

protected Constraint[] createInternalConstraints(Variable[] variables)

Description copied from class: MultiConstraint

This method must be implemented by the implementing class, and should instantiate the internal constraints underlying this MultiConstraint.

Specified by:

createInternalConstraints in class MultiConstraint

Parameters:

variables - The Variables that are in the scope of this MultiConstraint.

Returns:

An array of lower-level constraints which "implement" this MultiConstraint.

toString

public java.lang.String toString()

Description copied from class: Constraint

Every Constraint should implement a toString method (used by the ConstraintNetwork rendering methods).

Specified by:

toString in class Constraint

Returns:

the String representation of this Constraint.

setFrom

public void setFrom(Variable f)

setTo

public void setTo(Variable t)