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

Detailed Description

Definition at line 28 of file presolve_encoding.h.

#include <presolve_encoding.h>

Public Attributes

int var
std::vector< int > linear1_constraints
std::vector< int > constraints_linking_two_encoding_booleans
absl::flat_hash_set< int > bools_only_used_inside_the_local_model
int64_t variable_coeff_in_objective = 0
bool var_in_more_than_one_constraint_outside_the_local_model
int single_constraint_using_the_var_outside_the_local_model = -1

Member Data Documentation

◆ bools_only_used_inside_the_local_model

absl::flat_hash_set<int> operations_research::sat::VariableEncodingLocalModel::bools_only_used_inside_the_local_model

Definition at line 44 of file presolve_encoding.h.

◆ constraints_linking_two_encoding_booleans

std::vector<int> operations_research::sat::VariableEncodingLocalModel::constraints_linking_two_encoding_booleans

Definition at line 41 of file presolve_encoding.h.

◆ linear1_constraints

std::vector<int> operations_research::sat::VariableEncodingLocalModel::linear1_constraints

Definition at line 37 of file presolve_encoding.h.

◆ single_constraint_using_the_var_outside_the_local_model

int operations_research::sat::VariableEncodingLocalModel::single_constraint_using_the_var_outside_the_local_model = -1

Definition at line 54 of file presolve_encoding.h.

◆ var

int operations_research::sat::VariableEncodingLocalModel::var

Definition at line 31 of file presolve_encoding.h.

◆ var_in_more_than_one_constraint_outside_the_local_model

bool operations_research::sat::VariableEncodingLocalModel::var_in_more_than_one_constraint_outside_the_local_model

Definition at line 50 of file presolve_encoding.h.

◆ variable_coeff_in_objective

int64_t operations_research::sat::VariableEncodingLocalModel::variable_coeff_in_objective = 0

Definition at line 47 of file presolve_encoding.h.

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