Package 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.10

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final boolean	debug
(package private) InitializeListener[]	initializeChildListeners
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	Description
TransformExtensional()

Method Summary

Modifier and Type	Method	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 Details

initializeChildListeners

InitializeListener[] initializeChildListeners

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.

debug

static final boolean debug

See Also:

• Constant Field Values

Constructor Details

TransformExtensional

public TransformExtensional()

Method Details

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.