Java Reference
Java Reference
Detailed Description
Decision builders building a solution using local search filters to evaluate its feasibility.
This is very fast but can eventually fail when the solution is restored if filters did not detect all infeasiblities. More details: Using local search filters to build a solution. The approach is pretty straight-forward: have a general assignment storing the current solution, build delta assigment representing possible extensions to the current solution and validate them with filters. The tricky bit comes from using the assignment and filter APIs in a way which avoids the lazy creation of internal hash_maps between variables and indices. Generic filter-based decision builder applied to IntVars. when the code is mature enough.
Definition at line 14 of file IntVarFilteredDecisionBuilder.java.
Public Member Functions | |
| synchronized void | delete () |
| Decision | nextWrap (Solver solver) |
| boolean | buildSolution () |
| Virtual method to redefine to build a solution. More... | |
| long | number_of_decisions () |
| Returns statistics on search, number of decisions sent to filters, number of decisions rejected by filters. More... | |
| long | number_of_rejects () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| String | toString () |
Protected Member Functions | |
| IntVarFilteredDecisionBuilder (long cPtr, boolean cMemoryOwn) | |
| void | swigDirectorDisconnect () |
Constructor & Destructor Documentation
◆ IntVarFilteredDecisionBuilder()
|
inlineprotected |
Definition at line 17 of file IntVarFilteredDecisionBuilder.java.
Member Function Documentation
◆ buildSolution()
|
inline |
Virtual method to redefine to build a solution.
Definition at line 50 of file IntVarFilteredDecisionBuilder.java.
◆ delete()
|
inline |
Definition at line 31 of file IntVarFilteredDecisionBuilder.java.
◆ nextWrap()
Definition at line 42 of file IntVarFilteredDecisionBuilder.java.
◆ number_of_decisions()
|
inline |
Returns statistics on search, number of decisions sent to filters, number of decisions rejected by filters.
Definition at line 57 of file IntVarFilteredDecisionBuilder.java.
◆ number_of_rejects()
|
inline |
Definition at line 61 of file IntVarFilteredDecisionBuilder.java.
◆ swigDirectorDisconnect()
|
inlineprotectedinherited |
Definition at line 42 of file DecisionBuilder.java.
◆ swigReleaseOwnership()
|
inlineinherited |
Definition at line 47 of file DecisionBuilder.java.
◆ swigTakeOwnership()
|
inlineinherited |
Definition at line 52 of file DecisionBuilder.java.
◆ toString()
|
inlineinherited |
Definition at line 70 of file DecisionBuilder.java.
The documentation for this class was generated from the following file: