14 #ifndef OR_TOOLS_SAT_SCHEDULING_CONSTRAINTS_H_
15 #define OR_TOOLS_SAT_SCHEDULING_CONSTRAINTS_H_
39 Literal enforcement_literal, AffineExpression target,
40 const std::vector<AffineExpression>& vars,
41 const std::vector<Literal>& selectors);
49 Literal enforcement_literal, AffineExpression target,
50 const std::vector<AffineExpression>& vars,
51 const std::vector<Literal>& selectors);
65 IntervalVariable span,
const std::vector<IntervalVariable>& intervals);
std::function< void(Model *)> EqualMaxOfSelectedVariables(Literal enforcement_literal, AffineExpression target, const std::vector< AffineExpression > &exprs, const std::vector< Literal > &selectors)
std::function< void(Model *)> SpanOfIntervals(IntervalVariable span, const std::vector< IntervalVariable > &intervals)
std::function< void(Model *)> EqualMinOfSelectedVariables(Literal enforcement_literal, AffineExpression target, const std::vector< AffineExpression > &exprs, const std::vector< Literal > &selectors)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...