Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ReducedDomainNeighborhood Struct Reference

Detailed Description

Definition at line 36 of file rins.h.

#include <rins.h>

Public Attributes

std::vector< std::pair< int, int64_t > > fixed_vars
std::vector< std::pair< int, std::pair< int64_t, int64_t > > > reduced_domain_vars
std::string source_info

Member Data Documentation

◆ fixed_vars

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

Definition at line 38 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 41 of file rins.h.

◆ source_info

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

Definition at line 42 of file rins.h.

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