org.metacsp.meta.TCSP

Class TCSPLabeling

java.lang.Object

org.metacsp.framework.Constraint

org.metacsp.framework.meta.MetaConstraint

org.metacsp.meta.TCSP.TCSPLabeling

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class TCSPLabeling
extends MetaConstraint

See Also:

Serialized Form

Field Summary

Fields inherited from class org.metacsp.framework.meta.MetaConstraint

independentMC, metaCS, valOH, varOH

Fields inherited from class org.metacsp.framework.Constraint

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

Constructor Summary

Constructors

Constructor and Description
TCSPLabeling(VariableOrderingH varOH, ValueOrderingH valOH)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
void	draw(ConstraintNetwork network) Method to draw the metaCSP's constraint network according to the rationale of this MetaConstraint (e.g., for a resource, this could be the resource usage profile as it is determined by the given constraint network).
java.lang.String	getEdgeLabel() Every Constraint should implement this method - its value is what is drawn by the ConstraintNetwork rendering methods.
ConstraintSolver	getGroundSolver() Provides the definition of how to get the/a groundSolver for this MetaConstraint.
ConstraintNetwork[]	getMetaValues(MetaVariable metaVariable) Get all meta values for a given MetaVariable.
ConstraintNetwork[]	getMetaVariables() Get all MetaVariables according to this MetaConstraint.
boolean	isEquivalent(Constraint c) Method for assessing the "equivalence" between two constraints.
void	markResolvedSub(MetaVariable con, ConstraintNetwork metaValue) Method to mark a MetaVariable as solved.
java.lang.String	toString() Every Constraint should implement a toString method (used by the ConstraintNetwork rendering methods).

Methods inherited from class org.metacsp.framework.meta.MetaConstraint

getDescription, getMetaValue, getMetaVariable, getValOH, getVarOH, setMetaSolver, setValOH, setVarOH

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

TCSPLabeling

public TCSPLabeling(VariableOrderingH varOH,
                    ValueOrderingH valOH)

Method Detail

getMetaVariables

public ConstraintNetwork[] getMetaVariables()

Description copied from class: MetaConstraint

Get all MetaVariables according to this MetaConstraint. This method must be implemented by the designer of the implementing MetaConstraint class.

Specified by:

getMetaVariables in class MetaConstraint

Returns:

All MetaVariables according to this MetaConstraint.

getMetaValues

public ConstraintNetwork[] getMetaValues(MetaVariable metaVariable)

Description copied from class: MetaConstraint

Get all meta values for a given MetaVariable. This method must be implemented in the specific MetaConstraint.

Specified by:

getMetaValues in class MetaConstraint

Parameters:

metaVariable - The MetaVariable for which we seek meta values.

Returns:

All meta values for the given MetaVariable.

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.

draw

public void draw(ConstraintNetwork network)

Description copied from class: MetaConstraint

Method to draw the metaCSP's constraint network according to the rationale of this MetaConstraint (e.g., for a resource, this could be the resource usage profile as it is determined by the given constraint network). This method must be implemented by the developer of the MetaConstraint.

Specified by:

draw in class MetaConstraint

Parameters:

network - The constraint network to draw.

markResolvedSub

public void markResolvedSub(MetaVariable con,
                            ConstraintNetwork metaValue)

Description copied from class: MetaConstraint

Method to mark a MetaVariable as solved. This method is called by the MetaConstraintSolver and must be implemented by the developer of the MetaConstraint.

Specified by:

markResolvedSub in class MetaConstraint

Parameters:

con - The MetaVariable that is to be considered solved by the given meta value.

metaValue - The solving meta value.

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()

Specified by:

clone in class Constraint

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.

getGroundSolver

public ConstraintSolver getGroundSolver()

Description copied from class: MetaConstraint

Provides the definition of how to get the/a groundSolver for this MetaConstraint.

Specified by:

getGroundSolver in class MetaConstraint

Returns:

The/a groundSolver for this MetaConstraint.