operations_research::sat::ReducedDomainNeighborhood Struct Reference

#include <rins.h>

Public Attributes
std::vector< std::pair< int, int64_t > >	fixed_vars
	A variable will appear only once and not in both vectors.
std::vector< std::pair< int, std::pair< int64_t, int64_t > > >	reduced_domain_vars
std::string	source_info

Detailed Description

A RINS Neighborhood is actually just a generic neighborhood where the domain of some variable have been reduced (fixed or restricted in [lb, ub]).

Important: It might be possible that the value of the variables here are outside the domains of these variables! This happens for RENS type of neighborhood in the presence of holes in the domains because the LP relaxation ignore those.

Definition at line 39 of file rins.h.

Member Data Documentation

fixed_vars

std::vector<std::pair< int, int64_t> > operations_research::sat::ReducedDomainNeighborhood::fixed_vars

A variable will appear only once and not in both vectors.

Definition at line 41 of file rins.h.

reduced_domain_vars

std::vector< std::pair< int, std::pair<int64_t, int64_t> > > operations_research::sat::ReducedDomainNeighborhood::reduced_domain_vars

Definition at line 44 of file rins.h.

source_info

std::string operations_research::sat::ReducedDomainNeighborhood::source_info

Definition at line 45 of file rins.h.

---

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

• ortools/sat/rins.h