C++ Reference: integer_search

This documentation is automatically generated.

Function Type Arguments Comments
AtMinValue

Return type: LiteralIndex

Arguments: IntegerVariable var, Model* model

ExploitLpSolution

Return type: std::function<LiteralIndex()>

Arguments: std::function<LiteralIndex()> heuristic, Model* model

ExploitLpSolution

Return type: LiteralIndex

Arguments: const LiteralIndex decision, Model* model

FirstUnassignedVarAtItsMinHeuristic

Return type: std::function<LiteralIndex()>

Arguments: const std::vector<IntegerVariable>& vars, Model* model

FollowHint

Return type: std::function<LiteralIndex()>

Arguments: const std::vector<BooleanOrIntegerVariable>& vars, const std::vector<IntegerValue>& values, Model* model

GreaterOrEqualToMiddleValue

Return type: LiteralIndex

Arguments: IntegerVariable var, Model* model

IntegerValueSelectionHeuristic

Return type: std::function<LiteralIndex()>

Arguments: std::function<LiteralIndex()> var_selection_heuristic, Model* model

LinearizedPartIsLarge

Return type: bool

Arguments: Model* model

LogNewSatSolution

Return type: void

Arguments: const std::string& event_or_solution_count, double time_in_seconds, const std::string& solution_info

LogNewSolution

Return type: void

Arguments: const std::string& event_or_solution_count, double time_in_seconds, double obj_lb, double obj_ub, const std::string& solution_info

LpSolutionIsExploitable

Return type: bool

Arguments: Model* model

PseudoCost

Return type: std::function<LiteralIndex()>

Arguments: Model* model

RestartEveryKFailures

Return type: std::function<bool()>

Arguments: int k, SatSolver* solver

SatSolverHeuristic

Return type: std::function<LiteralIndex()>

Arguments: Model* model

SatSolverRestartPolicy

Return type: std::function<bool()>

Arguments: Model* model

SequentialSearch

Return type: std::function<LiteralIndex()>

Arguments: std::vector<std::function<LiteralIndex()>> heuristics

SequentialValueSelection

Return type: std::function<LiteralIndex()>

Arguments: std::vector<std::function<LiteralIndex(IntegerVariable)>> value_selection_heuristics, std::function<LiteralIndex()> var_selection_heuristic, Model* model

SolveIntegerProblemWithLazyEncoding

Return type: SatSolver::Status

Arguments: const std::vector<Literal>& assumptions, const std::function<LiteralIndex()>& next_decision, Model* model

SolveIntegerProblemWithLazyEncoding

Return type: SatSolver::Status

Arguments: Model* model

SolveProblemWithPortfolioSearch

Return type: SatSolver::Status

Arguments: std::vector<std::function<LiteralIndex()>> decision_policies, std::vector<std::function<bool()>> restart_policies, Model* model

SplitAroundGivenValue

Return type: LiteralIndex

Arguments: IntegerVariable positive_var, IntegerValue value, Model* model

SplitAroundLpValue

Return type: LiteralIndex

Arguments: IntegerVariable var, Model* model

SplitDomainUsingBestSolutionValue

Return type: LiteralIndex

Arguments: IntegerVariable var, Model* model

UnassignedVarWithLowestMinAtItsMinHeuristic

Return type: std::function<LiteralIndex()>

Arguments: const std::vector<IntegerVariable>& vars, Model* model

Send feedback about...