operations_research::sat::IndexReferences Struct Reference

#include <cp_model_utils.h>

Public Attributes
std::vector< int >	variables
std::vector< int >	literals

Detailed Description

Collects all the references used by a constraint. This function is used in a few places to have a "generic" code dealing with constraints. Note that the enforcement_literal is NOT counted here and that the vectors can have duplicates.

Definition at line 71 of file cp_model_utils.h.

Member Data Documentation

literals

std::vector<int> operations_research::sat::IndexReferences::literals

Definition at line 73 of file cp_model_utils.h.

variables

std::vector<int> operations_research::sat::IndexReferences::variables

Definition at line 72 of file cp_model_utils.h.

---

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

• ortools/sat/cp_model_utils.h