Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
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>
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.

◆ 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: