Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
|
This is the complete list of members for operations_research::sat::LinearModel, including all inherited members.
additional_constraints() const | operations_research::sat::LinearModel | inline |
ignored_constraints() const | operations_research::sat::LinearModel | inline |
LinearModel(const CpModelProto &model_proto) | operations_research::sat::LinearModel | explicit |
model_proto() const | operations_research::sat::LinearModel | inline |
num_element_encodings() const | operations_research::sat::LinearModel | inline |
num_exactly_ones() const | operations_research::sat::LinearModel | inline |
num_full_encodings() const | operations_research::sat::LinearModel | inline |
num_ignored_constraints() const | operations_research::sat::LinearModel | inline |