operations_research::sat::LinearProgrammingDispatcher Class Reference

#include <linear_programming_constraint.h>

Inheritance diagram for operations_research::sat::LinearProgrammingDispatcher:

Detailed Description

A class that stores which LP propagator is associated to each variable. We need to give the hash_map a name so it can be used as a singleton in our model.

Important: only positive variable do appear here.

Definition at line 626 of file linear_programming_constraint.h.

---

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

• ortools/sat/linear_programming_constraint.h