OR-Tools  8.2
Search

Detailed Description

Definition at line 953 of file constraint_solver.cc.

Public Member Functions

 Search (Solver *const s)
 
 Search (Solver *const s, int)
 
 ~Search ()
 
void EnterSearch ()
 
void RestartSearch ()
 
void ExitSearch ()
 
void BeginNextDecision (DecisionBuilder *const db)
 
void EndNextDecision (DecisionBuilder *const db, Decision *const d)
 
void ApplyDecision (Decision *const d)
 
void AfterDecision (Decision *const d, bool apply)
 
void RefuteDecision (Decision *const d)
 
void BeginFail ()
 
void EndFail ()
 
void BeginInitialPropagation ()
 
void EndInitialPropagation ()
 
bool AtSolution ()
 
bool AcceptSolution ()
 
void NoMoreSolutions ()
 
bool LocalOptimum ()
 
bool AcceptDelta (Assignment *delta, Assignment *deltadelta)
 
void AcceptNeighbor ()
 
void AcceptUncheckedNeighbor ()
 
bool IsUncheckedSolutionLimitReached ()
 
void PeriodicCheck ()
 
int ProgressPercent ()
 
void Accept (ModelVisitor *const visitor) const
 
void push_monitor (SearchMonitor *const m)
 
void Clear ()
 
void IncrementSolutionCounter ()
 
int64 solution_counter () const
 
void IncrementUncheckedSolutionCounter ()
 
int64 unchecked_solution_counter () const
 
void set_decision_builder (DecisionBuilder *const db)
 
DecisionBuilderdecision_builder () const
 
void set_created_by_solve (bool c)
 
bool created_by_solve () const
 
Solver::DecisionModification ModifyDecision ()
 
void SetBranchSelector (Solver::BranchSelector bs)
 
void LeftMove ()
 
void RightMove ()
 
bool backtrack_at_the_end_of_the_search () const
 
void set_backtrack_at_the_end_of_the_search (bool restore)
 
int search_depth () const
 
void set_search_depth (int d)
 
int left_search_depth () const
 
void set_search_left_depth (int d)
 
void set_should_restart (bool s)
 
bool should_restart () const
 
void set_should_finish (bool s)
 
bool should_finish () const
 
void CheckFail ()
 
void set_search_context (const std::string &search_context)
 
std::string search_context () const
 

Constructor & Destructor Documentation

◆ Search() [1/2]

Search ( Solver *const  s)
inlineexplicit

Definition at line 955 of file constraint_solver.cc.

◆ Search() [2/2]

Search ( Solver *const  s,
int   
)
inline

Definition at line 974 of file constraint_solver.cc.

◆ ~Search()

~Search ( )
inline

Definition at line 990 of file constraint_solver.cc.

Member Function Documentation

◆ Accept()

void Accept ( ModelVisitor *const  visitor) const

Definition at line 1337 of file constraint_solver.cc.

◆ AcceptDelta()

bool AcceptDelta ( Assignment delta,
Assignment deltadelta 
)

Definition at line 1298 of file constraint_solver.cc.

◆ AcceptNeighbor()

void AcceptNeighbor ( )

Definition at line 1308 of file constraint_solver.cc.

◆ AcceptSolution()

bool AcceptSolution ( )

Definition at line 1258 of file constraint_solver.cc.

◆ AcceptUncheckedNeighbor()

void AcceptUncheckedNeighbor ( )

Definition at line 1312 of file constraint_solver.cc.

◆ AfterDecision()

void AfterDecision ( Decision *const  d,
bool  apply 
)

Definition at line 1236 of file constraint_solver.cc.

◆ ApplyDecision()

void ApplyDecision ( Decision *const  d)

Definition at line 1231 of file constraint_solver.cc.

◆ AtSolution()

bool AtSolution ( )

Definition at line 1271 of file constraint_solver.cc.

◆ backtrack_at_the_end_of_the_search()

bool backtrack_at_the_end_of_the_search ( ) const
inline

Definition at line 1036 of file constraint_solver.cc.

◆ BeginFail()

void BeginFail ( )

Definition at line 1246 of file constraint_solver.cc.

◆ BeginInitialPropagation()

void BeginInitialPropagation ( )

Definition at line 1250 of file constraint_solver.cc.

◆ BeginNextDecision()

void BeginNextDecision ( DecisionBuilder *const  db)

Definition at line 1221 of file constraint_solver.cc.

◆ CheckFail()

void CheckFail ( )
inline

Definition at line 1050 of file constraint_solver.cc.

◆ Clear()

void Clear ( )

Definition at line 1194 of file constraint_solver.cc.

◆ created_by_solve()

bool created_by_solve ( ) const
inline

Definition at line 1028 of file constraint_solver.cc.

◆ decision_builder()

DecisionBuilder* decision_builder ( ) const
inline

Definition at line 1026 of file constraint_solver.cc.

◆ EndFail()

void EndFail ( )

Definition at line 1248 of file constraint_solver.cc.

◆ EndInitialPropagation()

void EndInitialPropagation ( )

Definition at line 1254 of file constraint_solver.cc.

◆ EndNextDecision()

void EndNextDecision ( DecisionBuilder *const  db,
Decision *const  d 
)

Definition at line 1226 of file constraint_solver.cc.

◆ EnterSearch()

void EnterSearch ( )

Definition at line 1202 of file constraint_solver.cc.

◆ ExitSearch()

void ExitSearch ( )

Definition at line 1212 of file constraint_solver.cc.

◆ IncrementSolutionCounter()

void IncrementSolutionCounter ( )
inline

Definition at line 1017 of file constraint_solver.cc.

◆ IncrementUncheckedSolutionCounter()

void IncrementUncheckedSolutionCounter ( )
inline

Definition at line 1019 of file constraint_solver.cc.

◆ IsUncheckedSolutionLimitReached()

bool IsUncheckedSolutionLimitReached ( )

Definition at line 1316 of file constraint_solver.cc.

◆ left_search_depth()

int left_search_depth ( ) const
inline

Definition at line 1044 of file constraint_solver.cc.

◆ LeftMove()

void LeftMove ( )
inline

Definition at line 1031 of file constraint_solver.cc.

◆ LocalOptimum()

bool LocalOptimum ( )

Definition at line 1288 of file constraint_solver.cc.

◆ ModifyDecision()

Solver::DecisionModification ModifyDecision ( )

Definition at line 1181 of file constraint_solver.cc.

◆ NoMoreSolutions()

void NoMoreSolutions ( )

Definition at line 1284 of file constraint_solver.cc.

◆ PeriodicCheck()

void PeriodicCheck ( )

Definition at line 1325 of file constraint_solver.cc.

◆ ProgressPercent()

int ProgressPercent ( )

Definition at line 1329 of file constraint_solver.cc.

◆ push_monitor()

void push_monitor ( SearchMonitor *const  m)

Definition at line 1188 of file constraint_solver.cc.

◆ RefuteDecision()

void RefuteDecision ( Decision *const  d)

Definition at line 1241 of file constraint_solver.cc.

◆ RestartSearch()

void RestartSearch ( )

Definition at line 1217 of file constraint_solver.cc.

◆ RightMove()

void RightMove ( )
inline

Definition at line 1035 of file constraint_solver.cc.

◆ search_context()

std::string search_context ( ) const
inline

Definition at line 1058 of file constraint_solver.cc.

◆ search_depth()

int search_depth ( ) const
inline

Definition at line 1042 of file constraint_solver.cc.

◆ set_backtrack_at_the_end_of_the_search()

void set_backtrack_at_the_end_of_the_search ( bool  restore)
inline

Definition at line 1039 of file constraint_solver.cc.

◆ set_created_by_solve()

void set_created_by_solve ( bool  c)
inline

Definition at line 1027 of file constraint_solver.cc.

◆ set_decision_builder()

void set_decision_builder ( DecisionBuilder *const  db)
inline

Definition at line 1023 of file constraint_solver.cc.

◆ set_search_context()

void set_search_context ( const std::string &  search_context)
inline

Definition at line 1055 of file constraint_solver.cc.

◆ set_search_depth()

void set_search_depth ( int  d)
inline

Definition at line 1043 of file constraint_solver.cc.

◆ set_search_left_depth()

void set_search_left_depth ( int  d)
inline

Definition at line 1045 of file constraint_solver.cc.

◆ set_should_finish()

void set_should_finish ( bool  s)
inline

Definition at line 1048 of file constraint_solver.cc.

◆ set_should_restart()

void set_should_restart ( bool  s)
inline

Definition at line 1046 of file constraint_solver.cc.

◆ SetBranchSelector()

void SetBranchSelector ( Solver::BranchSelector  bs)

Definition at line 1148 of file constraint_solver.cc.

◆ should_finish()

bool should_finish ( ) const
inline

Definition at line 1049 of file constraint_solver.cc.

◆ should_restart()

bool should_restart ( ) const
inline

Definition at line 1047 of file constraint_solver.cc.

◆ solution_counter()

int64 solution_counter ( ) const
inline

Definition at line 1018 of file constraint_solver.cc.

◆ unchecked_solution_counter()

int64 unchecked_solution_counter ( ) const
inline

Definition at line 1020 of file constraint_solver.cc.


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