Package | Description |
---|---|
org.jacop.fz | |
org.jacop.search |
Modifier and Type | Class and Description |
---|---|
static class |
Solve.PrecisionSetting |
Modifier and Type | Method and Description |
---|---|
void |
Solve.PrecisionSetting.setChildrenListeners(InitializeListener child) |
void |
Solve.PrecisionSetting.setChildrenListeners(InitializeListener[] children) |
Modifier and Type | Class and Description |
---|---|
class |
OneSolution<T extends Var>
Defines functionality for OneSolution plug-in, that is the search
with this plug-in will stop after funding first solution.
|
class |
TransformExtensional
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.
|
Modifier and Type | Field and Description |
---|---|
InitializeListener |
DepthFirstSearch.initializeListener
It is executed when search is started, before entering the search.
|
Modifier and Type | Method and Description |
---|---|
InitializeListener |
DepthFirstSearch.getInitializeListener() |
InitializeListener |
Search.getInitializeListener()
It returns the root of the InitializationListener.
|
Modifier and Type | Method and Description |
---|---|
void |
InitializeListener.setChildrenListeners(InitializeListener child)
It sets one child listener for this initialize listener.
|
void |
OneSolution.setChildrenListeners(InitializeListener child)
It sets one child listener for this initialize listener.
|
void |
TransformExtensional.setChildrenListeners(InitializeListener child) |
void |
InitializeListener.setChildrenListeners(InitializeListener[] children)
It sets the children listeners of this initialize listener.
|
void |
OneSolution.setChildrenListeners(InitializeListener[] children)
It sets the children listeners of this initialize listener.
|
void |
TransformExtensional.setChildrenListeners(InitializeListener[] children) |
void |
DepthFirstSearch.setInitializeListener(InitializeListener listener) |
void |
Search.setInitializeListener(InitializeListener listener)
It sets the root of the InitializeListener.
|
Copyright © 2022. All rights reserved.