Package org.jacop.search
Class TransformExtensional
java.lang.Object
org.jacop.search.TransformExtensional
- All Implemented Interfaces:
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.8
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) static final boolean
(package private) InitializeListener[]
int
The limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation.It contains all the information which will become variables in the scope of the extensional constraint produced by this search listener. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
executedAtInitialize
(Store store) It is executed before the search starts labeling procedure.void
It sets one child listener for this initialize listener.void
setChildrenListeners
(InitializeListener[] children) It sets the children listeners of this initialize listener.
-
Field Details
-
initializeChildListeners
InitializeListener[] initializeChildListeners -
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 solutionLimitThe limit of solutions upon reaching the transformation is abandoned and solution progress normally without any transformation. -
debug
static final boolean debug- See Also:
-
-
Constructor Details
-
TransformExtensional
public TransformExtensional()
-
-
Method Details
-
executedAtInitialize
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
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
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.
-