IndexReferences

Detailed Description

Definition at line 52 of file cp_model_utils.h.

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

Member Data Documentation

literals

std::vector<int> literals

Definition at line 54 of file cp_model_utils.h.

variables

std::vector<int> variables

Definition at line 53 of file cp_model_utils.h.

---

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

• cp_model_utils.h