14#ifndef OR_TOOLS_SAT_PSEUDO_COSTS_H_
15#define OR_TOOLS_SAT_PSEUDO_COSTS_H_
39 void UpdateCost(
const std::vector<VariableBoundChange>& bound_changes,
40 IntegerValue obj_bound_improvement);
48 return pseudo_costs_[
var].CurrentAverage();
55 return pseudo_costs_[
var].NumRecords();
60 void UpdateCostForVar(IntegerVariable
var,
double new_cost);
65 const SatParameters& parameters_;
73 LiteralIndex decision, Model*
model);
#define CHECK_LT(val1, val2)
Class that owns everything related to a particular optimization model.
IntegerVariable GetBestDecisionVar()
int GetRecordings(IntegerVariable var) const
PseudoCosts(Model *model)
void UpdateCost(const std::vector< VariableBoundChange > &bound_changes, IntegerValue obj_bound_improvement)
double GetCost(IntegerVariable var) const
const IntegerVariable kNoIntegerVariable(-1)
std::vector< PseudoCosts::VariableBoundChange > GetBoundChanges(LiteralIndex decision, Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
IntegerValue lower_bound_change