org.metacsp.framework.meta

Class MetaVariable

java.lang.Object

org.metacsp.framework.meta.MetaVariable

Direct Known Subclasses:

MetaConstraintSolver.TerminalNode

public class MetaVariable
extends java.lang.Object

MetaVariables are objects used by MetaConstraintSolvers for backtracking search. They contain ConstraintNetworks representing meta variables for the meta-CSP search. A MetaVariable also has a reference to the MetaConstraint which was used to obtain it. MetaVariables are used internally by the MetaConstraintSolver and should not be instantiated explicitly (hence the constructors are not accessible outside this package).

Author:

Federico Pecora

Field Summary

Fields

Modifier and Type	Field and Description
protected ConstraintNetwork	mv

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MetaVariable()
	MetaVariable(MetaConstraint df, ConstraintNetwork mv) Create a new MetaVariable with a given MetaConstraint.
	MetaVariable(MetaConstraint metaConstraint, ConstraintNetwork mv, java.lang.String annotation) Create a new MetaVariable with a given MetaConstraint.

Method Summary

Modifier and Type	Method and Description
ConstraintNetwork	getConstraintNetwork() Get the network of Variables and Constraints that define this MetaVariable.
MetaConstraint	getMetaConstraint() Get the MetaConstraint that is responsible for defining this MetaVariable.
java.lang.String	toString() Get a String representation of this MetaVariable.

Methods inherited from class java.lang.Object

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

Field Detail

mv

protected ConstraintNetwork mv

Constructor Detail

MetaVariable

protected MetaVariable()

MetaVariable

public MetaVariable(MetaConstraint df,
                    ConstraintNetwork mv)

Create a new MetaVariable with a given MetaConstraint. The variable is represented as a ConstraintNetwork.

Parameters:

df - The MetaConstraint that created this MetaVariable.

mv - The actual MetaVariable.

MetaVariable

public MetaVariable(MetaConstraint metaConstraint,
                    ConstraintNetwork mv,
                    java.lang.String annotation)

Create a new MetaVariable with a given MetaConstraint. The variable is represented as a ConstraintNetwork.

Parameters:

metaConstraint - The MetaConstraint that created this MetaVariable.

mv - The actual MetaVariable.

annotation - An annotation describing the MetaVariable.

Method Detail

getMetaConstraint

public MetaConstraint getMetaConstraint()

Get the MetaConstraint that is responsible for defining this MetaVariable.

Returns:

The MetaConstraint that is responsible for defining this MetaVariable.

getConstraintNetwork

public ConstraintNetwork getConstraintNetwork()

Get the network of Variables and Constraints that define this MetaVariable.

Returns:

The network of Variables and Constraints that define this MetaVariable.

toString

public java.lang.String toString()

Get a String representation of this MetaVariable.

Overrides:

toString in class java.lang.Object