operations_research::sat::LsOptions Struct Reference

The parameters used by the local search code. More...

Detailed Description

The parameters used by the local search code.

Definition at line 241 of file feasibility_jump.h.

#include <feasibility_jump.h>

Public Member Functions
std::string	name () const
	Allows to identify which options worked well.
bool	operator== (const LsOptions &o) const
void	Randomize (const SatParameters &params, ModelRandomGenerator *random)

Public Attributes
bool	use_restart = true
double	perturbation_probability = 0.0
	These are randomized each restart by Randomize().
bool	use_decay = true
bool	use_compound_moves = true
bool	use_objective = true

Friends
template<typename H>
H	AbslHashValue (H h, const LsOptions &o)
	In order to collect statistics by options.

Member Function Documentation

name()

std::string operations_research::sat::LsOptions::name ( ) const

inline

Allows to identify which options worked well.

Definition at line 257 of file feasibility_jump.h.

operator==()

bool operations_research::sat::LsOptions::operator== ( const LsOptions & o ) const

inline

Definition at line 275 of file feasibility_jump.h.

Randomize()

void operations_research::sat::LsOptions::Randomize ( const SatParameters & params, ModelRandomGenerator * random )

inline

Definition at line 283 of file feasibility_jump.h.

Friends And Related Symbol Documentation

AbslHashValue

template<typename H>

H AbslHashValue ( H h, const LsOptions & o )

friend

In order to collect statistics by options.

Definition at line 270 of file feasibility_jump.h.

Member Data Documentation

perturbation_probability

double operations_research::sat::LsOptions::perturbation_probability = 0.0

These are randomized each restart by Randomize().

Definition at line 251 of file feasibility_jump.h.

use_compound_moves

bool operations_research::sat::LsOptions::use_compound_moves = true

Definition at line 253 of file feasibility_jump.h.

use_decay

bool operations_research::sat::LsOptions::use_decay = true

Definition at line 252 of file feasibility_jump.h.

use_objective

bool operations_research::sat::LsOptions::use_objective = true

Definition at line 254 of file feasibility_jump.h.

use_restart

bool operations_research::sat::LsOptions::use_restart = true

This one never changes.

• If true, each restart is independent from the other. This is nice because it plays well with the theoretical Luby restart sequence.
• If false, we always "restart" from the current state, but we perturb it or just reset the constraint weight. We currently use this one way less often.

Definition at line 248 of file feasibility_jump.h.

---

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

• ortools/sat/feasibility_jump.h