Definition at line 505 of file bop_ls.h.
◆ LocalSearchAssignmentIterator()
◆ ~LocalSearchAssignmentIterator()
◆ BetterSolutionHasBeenFound()
bool BetterSolutionHasBeenFound |
( |
| ) |
const |
|
inline |
◆ DebugString()
std::string DebugString |
( |
| ) |
const |
◆ deterministic_time()
double deterministic_time |
( |
| ) |
const |
◆ LastReferenceAssignment()
◆ NextAssignment()
◆ Synchronize()
◆ SynchronizeSatWrapper()
void SynchronizeSatWrapper |
( |
| ) |
|
◆ UsePotentialOneFlipRepairs()
void UsePotentialOneFlipRepairs |
( |
bool |
v | ) |
|
|
inline |
◆ UseTranspositionTable()
void UseTranspositionTable |
( |
bool |
v | ) |
|
|
inline |
The documentation for this class was generated from the following files: