operations_research::sat::LsEvaluator Member List

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

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 &params, TimeLimit *time_limit)	operations_research::sat::LsEvaluator
LsEvaluator(const CpModelProto &cp_model, const SatParameters &params, const std::vector< bool > &ignored_constraints, const std::vector< ConstraintProto > &additional_constraints, TimeLimit *time_limit)	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