Java Reference

Java Reference

IntVarFilteredDecisionBuilder

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()

IntVarFilteredDecisionBuilder ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file IntVarFilteredDecisionBuilder.java.

Member Function Documentation

◆ buildSolution()

boolean buildSolution ( )
inline

Virtual method to redefine to build a solution.

Definition at line 50 of file IntVarFilteredDecisionBuilder.java.

◆ delete()

synchronized void delete ( )
inline

Definition at line 31 of file IntVarFilteredDecisionBuilder.java.

◆ nextWrap()

Decision nextWrap ( Solver  solver)
inline

Definition at line 42 of file IntVarFilteredDecisionBuilder.java.

◆ number_of_decisions()

long 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()

long number_of_rejects ( )
inline

Definition at line 61 of file IntVarFilteredDecisionBuilder.java.

◆ swigDirectorDisconnect()

void swigDirectorDisconnect ( )
inlineprotectedinherited

Definition at line 42 of file DecisionBuilder.java.

◆ swigReleaseOwnership()

void swigReleaseOwnership ( )
inlineinherited

Definition at line 47 of file DecisionBuilder.java.

◆ swigTakeOwnership()

void swigTakeOwnership ( )
inlineinherited

Definition at line 52 of file DecisionBuilder.java.

◆ toString()

String toString ( )
inlineinherited

Definition at line 70 of file DecisionBuilder.java.


The documentation for this class was generated from the following file: