Home
last modified time | relevance | path

Searched refs:IntegerPrecedences (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dprecedences.h112 struct IntegerPrecedences { struct
119 std::vector<IntegerPrecedences>* output); argument
261 std::vector<IntegerPrecedences> tmp_precedences_;
H A Ddisjunctive.h291 std::vector<PrecedencesPropagator::IntegerPrecedences> before_;
H A Dcumulative.cc144 std::vector<PrecedencesPropagator::IntegerPrecedences> before; in Cumulative()
H A Dprecedences.cc137 std::vector<IntegerPrecedences>* output) { in ComputePrecedences()
200 for (const IntegerPrecedences& precedence : tmp_precedences_) { in ComputePrecedences()