ComputeAllNonLinearViolations(absl::Span< const int64_t > solution) | operations_research::sat::LsEvaluator | |
ComputeAllViolations(absl::Span< const int64_t > solution) | operations_research::sat::LsEvaluator | |
ConstraintToVars(int c) const | operations_research::sat::LsEvaluator | inline |
DeterministicTime() const | operations_research::sat::LsEvaluator | inline |
GeneralConstraintToVars(int general_c) const | operations_research::sat::LsEvaluator | inline |
IsObjectiveConstraint(int c) const | operations_research::sat::LsEvaluator | inline |
IsViolated(int c) const | operations_research::sat::LsEvaluator | |
last_update_violation_changes() const | operations_research::sat::LsEvaluator | inline |
LinearEvaluator() | operations_research::sat::LsEvaluator | inline |
LsEvaluator(const CpModelProto &cp_model, const SatParameters ¶ms) | operations_research::sat::LsEvaluator | |
LsEvaluator(const CpModelProto &cp_model, const SatParameters ¶ms, const std::vector< bool > &ignored_constraints, const std::vector< ConstraintProto > &additional_constraints) | operations_research::sat::LsEvaluator | |
MutableLinearEvaluator() | operations_research::sat::LsEvaluator | inline |
NumEvaluatorConstraints() const | operations_research::sat::LsEvaluator | |
NumInfeasibleConstraints() const | operations_research::sat::LsEvaluator | |
NumLinearConstraints() const | operations_research::sat::LsEvaluator | |
NumNonLinearConstraints() const | operations_research::sat::LsEvaluator | |
NumViolatedConstraintsForVarIgnoringObjective(int var) const | operations_research::sat::LsEvaluator | inline |
ObjectiveActivity() const | operations_research::sat::LsEvaluator | |
ObjectiveCoefficient(int var) const | operations_research::sat::LsEvaluator | inline |
RecomputeViolatedList(bool linear_only) | operations_research::sat::LsEvaluator | |
ReduceObjectiveBounds(int64_t lb, int64_t ub) | operations_research::sat::LsEvaluator | |
SumOfViolations() | operations_research::sat::LsEvaluator | |
UpdateLinearScores(int var, int64_t old_value, int64_t new_value, absl::Span< const double > weights, absl::Span< const int64_t > jump_deltas, absl::Span< double > jump_scores) | operations_research::sat::LsEvaluator | |
UpdateNonLinearViolations(int var, int64_t old_value, absl::Span< const int64_t > new_solution) | operations_research::sat::LsEvaluator | |
UpdateViolatedList() | operations_research::sat::LsEvaluator | |
VariableOnlyInLinearConstraintWithConvexViolationChange(int var) const | operations_research::sat::LsEvaluator | |
VariablesAffectedByLastLinearUpdate() const | operations_research::sat::LsEvaluator | inline |
VarToGeneralConstraints(int var) const | operations_research::sat::LsEvaluator | inline |
ViolatedConstraints() const | operations_research::sat::LsEvaluator | inline |
Violation(int c) const | operations_research::sat::LsEvaluator | |
WeightedViolation(absl::Span< const double > weights) const | operations_research::sat::LsEvaluator | |
WeightedViolationDelta(bool linear_only, absl::Span< const double > weights, int var, int64_t delta, absl::Span< int64_t > mutable_solution) const | operations_research::sat::LsEvaluator | |