23#ifndef OR_TOOLS_SAT_INTEGER_SEARCH_H_
24#define OR_TOOLS_SAT_INTEGER_SEARCH_H_
102 const std::vector<Literal>& assumptions,
Model*
model);
146 const std::vector<IntegerVariable>& vars,
Model*
model);
154 const std::vector<IntegerVariable>& vars,
Model*
model);
166 const std::vector<BooleanOrIntegerVariable>& vars,
167 const std::vector<IntegerValue>& values,
Model*
model);
182 value_selection_heuristics,
214 incomplete_heuristics,
220 const std::vector<BooleanVariable>& bool_vars,
221 const std::vector<IntegerVariable>& int_vars,
222 const std::function<
void()>& feasible_solution_observer,
Model*
model);
Class that owns everything related to a particular optimization model.
std::vector< std::function< BooleanOrIntegerLiteral()> > CompleteHeuristics(const std::vector< std::function< BooleanOrIntegerLiteral()> > &incomplete_heuristics, const std::function< BooleanOrIntegerLiteral()> &completion_heuristic)
std::function< BooleanOrIntegerLiteral()> FirstUnassignedVarAtItsMinHeuristic(const std::vector< IntegerVariable > &vars, Model *model)
SatSolver::Status ResetAndSolveIntegerProblem(const std::vector< Literal > &assumptions, Model *model)
std::function< BooleanOrIntegerLiteral()> SequentialValueSelection(std::vector< std::function< IntegerLiteral(IntegerVariable)> > value_selection_heuristics, std::function< BooleanOrIntegerLiteral()> var_selection_heuristic, Model *model)
std::function< BooleanOrIntegerLiteral()> SequentialSearch(std::vector< std::function< BooleanOrIntegerLiteral()> > heuristics)
IntegerLiteral AtMinValue(IntegerVariable var, IntegerTrail *integer_trail)
const LiteralIndex kNoLiteralIndex(-1)
IntegerLiteral GreaterOrEqualToMiddleValue(IntegerVariable var, IntegerTrail *integer_trail)
IntegerLiteral SplitAroundGivenValue(IntegerVariable var, IntegerValue value, Model *model)
std::function< BooleanOrIntegerLiteral()> UnassignedVarWithLowestMinAtItsMinHeuristic(const std::vector< IntegerVariable > &vars, Model *model)
SatSolver::Status SolveIntegerProblemWithLazyEncoding(Model *model)
std::function< bool()> SatSolverRestartPolicy(Model *model)
std::function< BooleanOrIntegerLiteral()> FollowHint(const std::vector< BooleanOrIntegerVariable > &vars, const std::vector< IntegerValue > &values, Model *model)
const IntegerVariable kNoIntegerVariable(-1)
std::function< bool()> RestartEveryKFailures(int k, SatSolver *solver)
IntegerLiteral SplitDomainUsingBestSolutionValue(IntegerVariable var, Model *model)
IntegerLiteral ChooseBestObjectiveValue(IntegerVariable var, Model *model)
const BooleanVariable kNoBooleanVariable(-1)
void ConfigureSearchHeuristics(Model *model)
std::function< BooleanOrIntegerLiteral()> IntegerValueSelectionHeuristic(std::function< BooleanOrIntegerLiteral()> var_selection_heuristic, Model *model)
SatSolver::Status SolveIntegerProblem(Model *model)
std::function< BooleanOrIntegerLiteral()> SatSolverHeuristic(Model *model)
SatSolver::Status ContinuousProbing(const std::vector< BooleanVariable > &bool_vars, const std::vector< IntegerVariable > &int_vars, const std::function< void()> &feasible_solution_observer, Model *model)
IntegerLiteral SplitAroundLpValue(IntegerVariable var, Model *model)
bool LinearizedPartIsLarge(Model *model)
std::function< BooleanOrIntegerLiteral()> PseudoCost(Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
LiteralIndex boolean_literal_index
BooleanOrIntegerLiteral(LiteralIndex index)
BooleanOrIntegerLiteral()
IntegerLiteral integer_literal
BooleanOrIntegerLiteral(IntegerLiteral i_lit)
std::vector< std::function< bool()> > callbacks
std::vector< std::function< bool()> > restart_policies
std::function< BooleanOrIntegerLiteral()> hint_search
std::function< BooleanOrIntegerLiteral()> fixed_search
std::vector< std::function< BooleanOrIntegerLiteral()> > decision_policies