Detailed Description

Definition at line 300 of file feasibility_jump.h.

#include <feasibility_jump.h>

Public Attributes
std::vector< int64_t >	solution
std::vector< double >	weights
std::shared_ptr< const SharedSolutionRepository< int64_t >::Solution >	base_solution
double	bump_value = 1.0
int	compound_move_max_discrepancy = 0
std::vector< double >	compound_weights
std::vector< bool >	in_compound_weight_changed
std::vector< int >	compound_weight_changed
std::unique_ptr< CompoundMoveBuilder >	move
LsCounters	counters
LsOptions	options
int64_t	num_restarts = 0
int64_t	num_solutions_imported = 0
int64_t	num_batches_before_change = 0
int64_t	last_solution_rank = std::numeric_limits<int64_t>::max()
IntegerValue	saved_inner_objective_lb = 0
IntegerValue	saved_inner_objective_ub = 0

Member Data Documentation

◆ base_solution

std::shared_ptr<const SharedSolutionRepository<int64_t>::Solution> operations_research::sat::LsState::base_solution

Definition at line 306 of file feasibility_jump.h.

◆ bump_value

double operations_research::sat::LsState::bump_value = 1.0

Definition at line 310 of file feasibility_jump.h.

◆ compound_move_max_discrepancy

int operations_research::sat::LsState::compound_move_max_discrepancy = 0

Definition at line 321 of file feasibility_jump.h.

◆ compound_weight_changed

std::vector<int> operations_research::sat::LsState::compound_weight_changed

Definition at line 324 of file feasibility_jump.h.

◆ compound_weights

std::vector<double> operations_research::sat::LsState::compound_weights

Definition at line 322 of file feasibility_jump.h.

◆ counters

LsCounters operations_research::sat::LsState::counters

Definition at line 328 of file feasibility_jump.h.

◆ in_compound_weight_changed

std::vector<bool> operations_research::sat::LsState::in_compound_weight_changed

Definition at line 323 of file feasibility_jump.h.

◆ last_solution_rank

int64_t operations_research::sat::LsState::last_solution_rank = std::numeric_limits<int64_t>::max()

Definition at line 341 of file feasibility_jump.h.

◆ move

std::unique_ptr<CompoundMoveBuilder> operations_research::sat::LsState::move

Definition at line 325 of file feasibility_jump.h.

◆ num_batches_before_change

int64_t operations_research::sat::LsState::num_batches_before_change = 0

Definition at line 338 of file feasibility_jump.h.

◆ num_restarts

int64_t operations_research::sat::LsState::num_restarts = 0

Definition at line 334 of file feasibility_jump.h.

◆ num_solutions_imported

int64_t operations_research::sat::LsState::num_solutions_imported = 0

Definition at line 335 of file feasibility_jump.h.

◆ options

LsOptions operations_research::sat::LsState::options

Definition at line 331 of file feasibility_jump.h.

◆ saved_inner_objective_lb

IntegerValue operations_research::sat::LsState::saved_inner_objective_lb = 0

Definition at line 345 of file feasibility_jump.h.

◆ saved_inner_objective_ub

IntegerValue operations_research::sat::LsState::saved_inner_objective_ub = 0

Definition at line 346 of file feasibility_jump.h.

◆ solution

std::vector<int64_t> operations_research::sat::LsState::solution

Definition at line 303 of file feasibility_jump.h.

◆ weights

std::vector<double> operations_research::sat::LsState::weights

Definition at line 304 of file feasibility_jump.h.

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

ortools/sat/feasibility_jump.h