Java Reference
Java Reference
LocalSearchFilter.java
Go to the documentation of this file.
61 if (getClass() == LocalSearchFilter.class) mainJNI.LocalSearchFilter_Relax(swigCPtr, this, Assignment.getCPtr(delta), delta, Assignment.getCPtr(deltadelta), deltadelta); else mainJNI.LocalSearchFilter_RelaxSwigExplicitLocalSearchFilter(swigCPtr, this, Assignment.getCPtr(delta), delta, Assignment.getCPtr(deltadelta), deltadelta);
67 public boolean accept(Assignment delta, Assignment deltadelta, long objective_min, long objective_max) {
68 return mainJNI.LocalSearchFilter_accept(swigCPtr, this, Assignment.getCPtr(delta), delta, Assignment.getCPtr(deltadelta), deltadelta, objective_min, objective_max);
72 return (getClass() == LocalSearchFilter.class) ? mainJNI.LocalSearchFilter_isIncremental(swigCPtr, this) : mainJNI.LocalSearchFilter_isIncrementalSwigExplicitLocalSearchFilter(swigCPtr, this);
79 mainJNI.LocalSearchFilter_synchronize(swigCPtr, this, Assignment.getCPtr(assignment), assignment, Assignment.getCPtr(delta), delta);
86 if (getClass() == LocalSearchFilter.class) mainJNI.LocalSearchFilter_Revert(swigCPtr, this); else mainJNI.LocalSearchFilter_RevertSwigExplicitLocalSearchFilter(swigCPtr, this);
93 return (getClass() == LocalSearchFilter.class) ? mainJNI.LocalSearchFilter_getSynchronizedObjectiveValue(swigCPtr, this) : mainJNI.LocalSearchFilter_getSynchronizedObjectiveValueSwigExplicitLocalSearchFilter(swigCPtr, this);
100 return (getClass() == LocalSearchFilter.class) ? mainJNI.LocalSearchFilter_getAcceptedObjectiveValue(swigCPtr, this) : mainJNI.LocalSearchFilter_getAcceptedObjectiveValueSwigExplicitLocalSearchFilter(swigCPtr, this);
boolean isIncremental()
Definition: LocalSearchFilter.java:71
LocalSearchFilter(long cPtr, boolean cMemoryOwn)
Definition: LocalSearchFilter.java:17
LocalSearchFilter()
Definition: LocalSearchFilter.java:103
long getSynchronizedObjectiveValue()
Objective value from last time Synchronize() was called.
Definition: LocalSearchFilter.java:92
void Revert()
Cancels the changes made by the last Relax()/Accept() calls.
Definition: LocalSearchFilter.java:85
void Relax(Assignment delta, Assignment deltadelta)
Lets the filter know what delta and deltadelta will be passed in the next Accept().
Definition: LocalSearchFilter.java:60
void swigTakeOwnership()
Definition: LocalSearchFilter.java:52
An Assignment is a variable -> domains mapping, used to report solutions to the user.
Definition: Assignment.java:14
void synchronize(Assignment assignment, Assignment delta)
Synchronizes the filter with the current solution, delta being the difference with the solution passe...
Definition: LocalSearchFilter.java:78
void swigDirectorDisconnect()
Definition: LocalSearchFilter.java:42
long getAcceptedObjectiveValue()
Objective value from the last time Accept() was called and returned true.
Definition: LocalSearchFilter.java:99
Local Search Filters are used for fast neighbor pruning.
Definition: LocalSearchFilter.java:14
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
boolean accept(Assignment delta, Assignment deltadelta, long objective_min, long objective_max)
Accepts a "delta" given the assignment with which the filter has been synchronized; the delta holds t...
Definition: LocalSearchFilter.java:67
void swigReleaseOwnership()
Definition: LocalSearchFilter.java:47