Package | Description |
---|---|
org.jacop.search |
Modifier and Type | Class and Description |
---|---|
class |
CreditCalculator<T extends Var>
Defines functionality of credit search.
|
class |
LDS<T extends Var>
Defines functionality of limited discrepancy search.
|
class |
NoGoodsCollector<T extends IntVar>
NoGoodCollector collects no-goods from search when timeout has occurred.
|
class |
Shaving<T extends IntVar>
Defines functionality of shaving.
|
class |
TraceGenerator<T extends Var>
TODO
TraceGenerator should accept as input to constructor a Search object.
|
Modifier and Type | Field and Description |
---|---|
ExitChildListener<T> |
DepthFirstSearch.exitChildListener
It is invoked when returning from left or right child.
|
Modifier and Type | Method and Description |
---|---|
ExitChildListener<T> |
DepthFirstSearch.getExitChildListener() |
ExitChildListener<T> |
Search.getExitChildListener()
It returns the root of the ExitChildListener.
|
Modifier and Type | Method and Description |
---|---|
void |
Shaving.setChildrenListeners(ExitChildListener child) |
void |
Shaving.setChildrenListeners(ExitChildListener[] children) |
void |
CreditCalculator.setChildrenListeners(ExitChildListener<T> child) |
void |
ExitChildListener.setChildrenListeners(ExitChildListener<T> child)
It adds one child listener.
|
void |
LDS.setChildrenListeners(ExitChildListener<T> child) |
void |
NoGoodsCollector.setChildrenListeners(ExitChildListener<T> child) |
void |
TraceGenerator.setChildrenListeners(ExitChildListener<T> child) |
void |
CreditCalculator.setChildrenListeners(ExitChildListener<T>[] children) |
void |
ExitChildListener.setChildrenListeners(ExitChildListener<T>[] children)
It sets the children listeners for the current listener.
|
void |
LDS.setChildrenListeners(ExitChildListener<T>[] children) |
void |
NoGoodsCollector.setChildrenListeners(ExitChildListener<T>[] children) |
void |
TraceGenerator.setChildrenListeners(ExitChildListener<T>[] children) |
void |
DepthFirstSearch.setExitChildListener(ExitChildListener<T> listener) |
void |
Search.setExitChildListener(ExitChildListener<T> listener)
It sets the root of the ExitChild listener.
|
Copyright © 2022. All rights reserved.