Package org.jacop.search
Class TransformExtensional
- java.lang.Object
-
- org.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:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static 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.java.util.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
All Methods Instance Methods Concrete Methods 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.
-
-
-
Field Detail
-
initializeChildListeners
InitializeListener[] initializeChildListeners
-
variablesTransformationScope
public java.util.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
-
-
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 interfaceInitializeListener
- 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 interfaceInitializeListener
- 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 interfaceInitializeListener
- Parameters:
child
- the child of this initialize listener.
-
-