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

Detailed Description

Definition at line 41 of file primary_variables.h.

#include <primary_variables.h>

Public Attributes

std::vector< int > secondary_variables
std::vector< ConstraintProto > dependency_resolution_constraint
std::vector< std::pair< int, int > > variable_dependencies
std::vector< int > redundant_constraint_indices

Member Data Documentation

◆ dependency_resolution_constraint

std::vector<ConstraintProto> operations_research::sat::VariableRelationships::dependency_resolution_constraint

Definition at line 43 of file primary_variables.h.

◆ redundant_constraint_indices

std::vector<int> operations_research::sat::VariableRelationships::redundant_constraint_indices

Definition at line 56 of file primary_variables.h.

◆ secondary_variables

std::vector<int> operations_research::sat::VariableRelationships::secondary_variables

Definition at line 42 of file primary_variables.h.

◆ variable_dependencies

std::vector<std::pair<int, int> > operations_research::sat::VariableRelationships::variable_dependencies

Definition at line 48 of file primary_variables.h.

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