14 #ifndef OR_TOOLS_SAT_TABLE_H_
15 #define OR_TOOLS_SAT_TABLE_H_
20 #include "absl/types/span.h"
33 std::vector<std::vector<int64>> tuples, Model*
model);
40 std::vector<std::vector<int64>> tuples,
48 const std::vector<std::vector<Literal>>& literal_tuples,
49 const std::vector<Literal>& line_literals);
64 const std::vector<IntegerVariable>& vars,
65 const std::vector<std::vector<int64>>& automaton,
int64 initial_state,
66 const std::vector<int64>& final_states);
std::function< void(Model *)> TransitionConstraint(const std::vector< IntegerVariable > &vars, const std::vector< std::vector< int64 >> &automaton, int64 initial_state, const std::vector< int64 > &final_states)
void AddTableConstraint(absl::Span< const IntegerVariable > vars, std::vector< std::vector< int64 >> tuples, Model *model)
std::function< void(Model *)> LiteralTableConstraint(const std::vector< std::vector< Literal >> &literal_tuples, const std::vector< Literal > &line_literals)
void AddNegatedTableConstraint(absl::Span< const IntegerVariable > vars, std::vector< std::vector< int64 >> tuples, Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...