Home
last modified time | relevance | path

Searched refs:watch_indices (Results 1 – 7 of 7) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dcircuit.h61 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
139 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
H A Dcircuit.cc154 const std::vector<int>& watch_indices) { in IncrementalPropagate() argument
155 for (const int w : watch_indices) { in IncrementalPropagate()
382 const std::vector<int>& watch_indices) { in IncrementalPropagate() argument
383 for (const int w : watch_indices) { in IncrementalPropagate()
H A Dintervals.cc115 const std::vector<int>& watch_indices) { in IncrementalPropagate() argument
116 for (const int t : watch_indices) recompute_cache_[t] = true; in IncrementalPropagate()
H A Dlinear_programming_constraint.h166 bool IncrementalPropagate(const std::vector<int>& watch_indices) override;
H A Dintervals.h194 bool IncrementalPropagate(const std::vector<int>& watch_indices) final;
H A Dlinear_programming_constraint.cc579 const std::vector<int>& watch_indices) { in IncrementalPropagate() argument
590 for (const int index : watch_indices) { in IncrementalPropagate()
H A Dinteger.h1196 virtual bool IncrementalPropagate(const std::vector<int>& watch_indices) { in IncrementalPropagate() argument