Java Reference
Java Reference
LocalSearchMonitor.java
Go to the documentation of this file.
55 mainJNI.LocalSearchMonitor_beginMakeNextNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op);
58 public void endMakeNextNeighbor(LocalSearchOperator op, boolean neighbor_found, Assignment delta, Assignment deltadelta) {
59 mainJNI.LocalSearchMonitor_endMakeNextNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op, neighbor_found, Assignment.getCPtr(delta), delta, Assignment.getCPtr(deltadelta), deltadelta);
63 mainJNI.LocalSearchMonitor_beginFilterNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op);
67 mainJNI.LocalSearchMonitor_endFilterNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op, neighbor_found);
71 mainJNI.LocalSearchMonitor_beginAcceptNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op);
75 mainJNI.LocalSearchMonitor_endAcceptNeighbor(swigCPtr, this, LocalSearchOperator.getCPtr(op), op, neighbor_found);
79 mainJNI.LocalSearchMonitor_beginFiltering(swigCPtr, this, LocalSearchFilter.getCPtr(filter), filter);
83 mainJNI.LocalSearchMonitor_endFiltering(swigCPtr, this, LocalSearchFilter.getCPtr(filter), filter, reject);
String toString()
Definition: LocalSearchMonitor.java:39
void beginFilterNeighbor(LocalSearchOperator op)
Definition: LocalSearchMonitor.java:62
void beginAcceptNeighbor(LocalSearchOperator op)
Definition: LocalSearchMonitor.java:70
void endOperatorStart()
Definition: LocalSearchMonitor.java:50
void endMakeNextNeighbor(LocalSearchOperator op, boolean neighbor_found, Assignment delta, Assignment deltadelta)
Definition: LocalSearchMonitor.java:58
LocalSearchMonitor(long cPtr, boolean cMemoryOwn)
Definition: LocalSearchMonitor.java:14
This class represent a reversible FIFO structure.
Definition: LocalSearchOperator.java:14
void beginMakeNextNeighbor(LocalSearchOperator op)
Definition: LocalSearchMonitor.java:54
An Assignment is a variable -> domains mapping, used to report solutions to the user.
Definition: Assignment.java:14
void beginFiltering(LocalSearchFilter filter)
Definition: LocalSearchMonitor.java:78
A search monitor is a simple set of callbacks to monitor all search events.
Definition: SearchMonitor.java:14
void endFiltering(LocalSearchFilter filter, boolean reject)
Definition: LocalSearchMonitor.java:82
void endFilterNeighbor(LocalSearchOperator op, boolean neighbor_found)
Definition: LocalSearchMonitor.java:66
Local Search Filters are used for fast neighbor pruning.
Definition: LocalSearchFilter.java:14
void endAcceptNeighbor(LocalSearchOperator op, boolean neighbor_found)
Definition: LocalSearchMonitor.java:74