Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LinearIncrementalEvaluator Member List

This is the complete list of members for operations_research::sat::LinearIncrementalEvaluator, including all inherited members.

Activity(int c) constoperations_research::sat::LinearIncrementalEvaluator
AddEnforcementLiteral(int ct_index, int lit)operations_research::sat::LinearIncrementalEvaluator
AddLinearExpression(int ct_index, const LinearExpressionProto &expr, int64_t multiplier)operations_research::sat::LinearIncrementalEvaluator
AddLiteral(int ct_index, int lit, int64_t coeff=1)operations_research::sat::LinearIncrementalEvaluator
AddOffset(int ct_index, int64_t offset)operations_research::sat::LinearIncrementalEvaluator
AddTerm(int ct_index, int var, int64_t coeff, int64_t offset=0)operations_research::sat::LinearIncrementalEvaluator
AppearsInViolatedConstraints(int var) constoperations_research::sat::LinearIncrementalEvaluator
ClearAffectedVariables()operations_research::sat::LinearIncrementalEvaluator
ComputeInitialActivities(absl::Span< const int64_t > solution)operations_research::sat::LinearIncrementalEvaluator
ConstraintToVars(int c) constoperations_research::sat::LinearIncrementalEvaluatorinline
DeterministicTime() constoperations_research::sat::LinearIncrementalEvaluatorinline
IsViolated(int c) constoperations_research::sat::LinearIncrementalEvaluator
LinearIncrementalEvaluator()=defaultoperations_research::sat::LinearIncrementalEvaluator
NewConstraint(Domain domain)operations_research::sat::LinearIncrementalEvaluator
num_constraints() constoperations_research::sat::LinearIncrementalEvaluatorinline
ObjectiveCoefficient(int var) constoperations_research::sat::LinearIncrementalEvaluatorinline
PrecomputeCompactView(absl::Span< const int64_t > var_max_variation)operations_research::sat::LinearIncrementalEvaluator
ReduceBounds(int c, int64_t lb, int64_t ub)operations_research::sat::LinearIncrementalEvaluator
SlopeBreakpoints(int var, int64_t current_value, const Domain &var_domain) constoperations_research::sat::LinearIncrementalEvaluator
UpdateScoreOnWeightUpdate(int c, absl::Span< const int64_t > jump_deltas, absl::Span< double > var_to_score_change)operations_research::sat::LinearIncrementalEvaluator
UpdateVariableAndScores(int var, int64_t delta, absl::Span< const double > weights, absl::Span< const int64_t > jump_deltas, absl::Span< double > jump_scores, std::vector< int > *constraints_with_changed_violations)operations_research::sat::LinearIncrementalEvaluator
VariablesAffectedByLastUpdate() constoperations_research::sat::LinearIncrementalEvaluatorinline
VarIsConsistent(int var) constoperations_research::sat::LinearIncrementalEvaluator
Violation(int c) constoperations_research::sat::LinearIncrementalEvaluator
ViolationChangeIsConvex(int var) constoperations_research::sat::LinearIncrementalEvaluator
WeightedViolation(absl::Span< const double > weights) constoperations_research::sat::LinearIncrementalEvaluator
WeightedViolationDelta(absl::Span< const double > weights, int var, int64_t delta) constoperations_research::sat::LinearIncrementalEvaluator