Definition at line 953 of file constraint_solver.cc.
◆ Search() [1/2]
◆ Search() [2/2]
◆ ~Search()
◆ Accept()
◆ AcceptDelta()
◆ AcceptNeighbor()
◆ AcceptSolution()
◆ AcceptUncheckedNeighbor()
void AcceptUncheckedNeighbor |
( |
| ) |
|
◆ AfterDecision()
void AfterDecision |
( |
Decision *const |
d, |
|
|
bool |
apply |
|
) |
| |
◆ ApplyDecision()
◆ AtSolution()
◆ backtrack_at_the_end_of_the_search()
bool backtrack_at_the_end_of_the_search |
( |
| ) |
const |
|
inline |
◆ BeginFail()
◆ BeginInitialPropagation()
void BeginInitialPropagation |
( |
| ) |
|
◆ BeginNextDecision()
◆ CheckFail()
◆ Clear()
◆ created_by_solve()
bool created_by_solve |
( |
| ) |
const |
|
inline |
◆ decision_builder()
◆ EndFail()
◆ EndInitialPropagation()
void EndInitialPropagation |
( |
| ) |
|
◆ EndNextDecision()
◆ EnterSearch()
◆ ExitSearch()
◆ IncrementSolutionCounter()
void IncrementSolutionCounter |
( |
| ) |
|
|
inline |
◆ IncrementUncheckedSolutionCounter()
void IncrementUncheckedSolutionCounter |
( |
| ) |
|
|
inline |
◆ IsUncheckedSolutionLimitReached()
bool IsUncheckedSolutionLimitReached |
( |
| ) |
|
◆ left_search_depth()
int left_search_depth |
( |
| ) |
const |
|
inline |
◆ LeftMove()
◆ LocalOptimum()
◆ ModifyDecision()
◆ NoMoreSolutions()
◆ PeriodicCheck()
◆ ProgressPercent()
◆ push_monitor()
◆ RefuteDecision()
void RefuteDecision |
( |
Decision *const |
d | ) |
|
◆ RestartSearch()
◆ RightMove()
◆ search_context()
std::string search_context |
( |
| ) |
const |
|
inline |
◆ search_depth()
int search_depth |
( |
| ) |
const |
|
inline |
◆ set_backtrack_at_the_end_of_the_search()
void set_backtrack_at_the_end_of_the_search |
( |
bool |
restore | ) |
|
|
inline |
◆ set_created_by_solve()
void set_created_by_solve |
( |
bool |
c | ) |
|
|
inline |
◆ set_decision_builder()
◆ set_search_context()
void set_search_context |
( |
const std::string & |
search_context | ) |
|
|
inline |
◆ set_search_depth()
void set_search_depth |
( |
int |
d | ) |
|
|
inline |
◆ set_search_left_depth()
void set_search_left_depth |
( |
int |
d | ) |
|
|
inline |
◆ set_should_finish()
void set_should_finish |
( |
bool |
s | ) |
|
|
inline |
◆ set_should_restart()
void set_should_restart |
( |
bool |
s | ) |
|
|
inline |
◆ SetBranchSelector()
◆ should_finish()
bool should_finish |
( |
| ) |
const |
|
inline |
◆ should_restart()
bool should_restart |
( |
| ) |
const |
|
inline |
◆ solution_counter()
int64 solution_counter |
( |
| ) |
const |
|
inline |
◆ unchecked_solution_counter()
int64 unchecked_solution_counter |
( |
| ) |
const |
|
inline |
The documentation for this class was generated from the following file: