Java Reference
Java Reference
IntVarLocalSearchFilter.java
Go to the documentation of this file.
67 mainJNI.IntVarLocalSearchFilter_synchronize(swigCPtr, this, Assignment.getCPtr(assignment), assignment, Assignment.getCPtr(delta), delta);
91 if (getClass() == IntVarLocalSearchFilter.class) mainJNI.IntVarLocalSearchFilter_onSynchronize(swigCPtr, this, Assignment.getCPtr(delta), delta); else mainJNI.IntVarLocalSearchFilter_onSynchronizeSwigExplicitIntVarLocalSearchFilter(swigCPtr, this, Assignment.getCPtr(delta), delta);
void synchronize(Assignment assignment, Assignment delta)
This method should not be overridden.
Definition: IntVarLocalSearchFilter.java:66
Definition: IntVarLocalSearchFilter.java:15
void onSynchronize(Assignment delta)
Definition: IntVarLocalSearchFilter.java:90
void swigTakeOwnership()
Definition: IntVarLocalSearchFilter.java:53
IntVarLocalSearchFilter(IntVar[] vars)
Definition: IntVarLocalSearchFilter.java:58
void swigDirectorDisconnect()
Definition: IntVarLocalSearchFilter.java:43
IntVar var(int index)
Definition: IntVarLocalSearchFilter.java:81
IntVarLocalSearchFilter(long cPtr, boolean cMemoryOwn)
Definition: IntVarLocalSearchFilter.java:18
The class IntVar is a subset of IntExpr.
void swigReleaseOwnership()
Definition: IntVarLocalSearchFilter.java:48
void addVars(IntVar[] vars)
Add variables to "track" to the filter.
Definition: IntVarLocalSearchFilter.java:73
An Assignment is a variable -> domains mapping, used to report solutions to the user.
Definition: Assignment.java:14
long value(int index)
Definition: IntVarLocalSearchFilter.java:86
int index(IntVar var)
Definition: IntVarLocalSearchFilter.java:94
int size()
Definition: IntVarLocalSearchFilter.java:77
Local Search Filters are used for fast neighbor pruning.
Definition: LocalSearchFilter.java:14