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 660 of file linear_programming_constraint.h.

#include <linear_programming_constraint.h>

Inheritance diagram for operations_research::sat::LinearProgrammingDispatcher:

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

ortools/sat/linear_programming_constraint.h