JaCoP.search
Class TransformExtensional

java.lang.Object
  JaCoP.search.TransformExtensional

All Implemented Interfaces:

InitializeListener

public class TransformExtensional
extends java.lang.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:

3.1

Author:

Radoslaw Szymanek and Krzysztof Kuchcinski

Field Summary

int	solutionLimit The limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation.
java.util.ArrayList<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

TransformExtensional()

Method Summary

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

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

Field Detail

variablesTransformationScope

public java.util.ArrayList<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

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.