Definition at line 241 of file feasibility_jump.h.
#include <feasibility_jump.h>
◆ name()
| std::string operations_research::sat::LsOptions::name |
( |
| ) |
const |
|
inline |
◆ operator==()
| bool operations_research::sat::LsOptions::operator== |
( |
const LsOptions & | o | ) |
const |
|
inline |
◆ Randomize()
◆ AbslHashValue
◆ perturbation_probability
| double operations_research::sat::LsOptions::perturbation_probability = 0.0 |
◆ use_compound_moves
| bool operations_research::sat::LsOptions::use_compound_moves = true |
◆ use_decay
| bool operations_research::sat::LsOptions::use_decay = true |
◆ use_objective
| bool operations_research::sat::LsOptions::use_objective = true |
◆ use_restart
| bool operations_research::sat::LsOptions::use_restart = true |
The documentation for this struct was generated from the following file: