org.jacop.search

Class TransformExtensional

java.lang.Object

org.jacop.search.TransformExtensional

All Implemented Interfaces:

InitializeListener

public class TransformExtensional
extends Object
implements InitializeListener

It defines an intialize listener which transforms part of the problem into an extensional constraint by searching for all partial solutions given the scope of the variables of interest.

Version:

4.9

Author:

Radoslaw Szymanek and Krzysztof Kuchcinski

Field Summary

Fields

Modifier and Type	Field and Description
int	solutionLimit The limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation.
List<IntVar>	variablesTransformationScope It contains all the information which will become variables in the scope of the extensional constraint produced by this search listener.

Constructor Summary

Constructors

Constructor and Description
TransformExtensional()

Method Summary

Modifier and Type	Method and Description
void	executedAtInitialize(Store store) It is executed before the search starts labeling procedure.
void	setChildrenListeners(InitializeListener child) It sets one child listener for this initialize listener.
void	setChildrenListeners(InitializeListener[] children) It sets the children listeners of this initialize listener.

Methods inherited from class java.lang.Object

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

Field Detail

variablesTransformationScope

public List<IntVar> variablesTransformationScope

It contains all the information which will become variables in the scope of the extensional constraint produced by this search listener.

solutionLimit

public int solutionLimit

The limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation.

Constructor Detail

TransformExtensional

public TransformExtensional()

Method Detail

executedAtInitialize

public void executedAtInitialize(Store store)

Description copied from interface: InitializeListener

It is executed before the search starts labeling procedure.

Specified by:

executedAtInitialize in interface InitializeListener

Parameters:

store - store in which context the search is performed.

setChildrenListeners

public void setChildrenListeners(InitializeListener[] children)

Description copied from interface: InitializeListener

It sets the children listeners of this initialize listener.

Specified by:

setChildrenListeners in interface InitializeListener

Parameters:

children - children listeners being set

setChildrenListeners

public void setChildrenListeners(InitializeListener child)

Description copied from interface: InitializeListener

It sets one child listener for this initialize listener.

Specified by:

setChildrenListeners in interface InitializeListener

Parameters:

child - the child of this initialize listener.