Detailed Description

Definition at line 327 of file constraint_violation.h.

#include <constraint_violation.h>

Public Member Functions
	LsEvaluator (const CpModelProto &cp_model, const SatParameters &params, TimeLimit *time_limit)
	LsEvaluator (const CpModelProto &cp_model, const SatParameters &params, const std::vector< bool > &ignored_constraints, absl::Span< const ConstraintProto > additional_constraints, TimeLimit *time_limit)
bool	ReduceObjectiveBounds (int64_t lb, int64_t ub)
void	ComputeAllViolations (absl::Span< const int64_t > solution)
void	ComputeAllNonLinearViolations (absl::Span< const int64_t > solution)
void	UpdateNonLinearViolations (int var, int64_t old_value, absl::Span< const int64_t > new_solution)
void	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)
void	UpdateViolatedList ()
absl::Span< const int >	VariablesAffectedByLastLinearUpdate () const
int64_t	SumOfViolations ()
int64_t	ObjectiveActivity () const
bool	IsObjectiveConstraint (int c) const
int64_t	ObjectiveCoefficient (int var) const
int	NumLinearConstraints () const
int	NumNonLinearConstraints () const
int	NumEvaluatorConstraints () const
int	NumInfeasibleConstraints () const
int64_t	Violation (int c) const
bool	IsViolated (int c) const
double	WeightedViolation (absl::Span< const double > weights) const
double	WeightedViolationDelta (bool linear_only, absl::Span< const double > weights, int var, int64_t delta, absl::Span< int64_t > mutable_solution) const
const LinearIncrementalEvaluator &	LinearEvaluator ()
LinearIncrementalEvaluator *	MutableLinearEvaluator ()
void	RecomputeViolatedList (bool linear_only)
absl::Span< const int >	ViolatedConstraints () const
int	NumViolatedConstraintsForVarIgnoringObjective (int var) const
bool	VariableOnlyInLinearConstraintWithConvexViolationChange (int var) const
const std::vector< int > &	last_update_violation_changes () const
absl::Span< const int >	ConstraintToVars (int c) const
absl::Span< const int >	VarToGeneralConstraints (int var) const
absl::Span< const int >	GeneralConstraintToVars (int general_c) const
double	DeterministicTime () const

Constructor & Destructor Documentation

◆ LsEvaluator() [1/2]

operations_research::sat::LsEvaluator::LsEvaluator	(	const CpModelProto &	cp_model,
		const SatParameters &	params,
		TimeLimit *	time_limit )

Definition at line 1527 of file constraint_violation.cc.

◆ LsEvaluator() [2/2]

operations_research::sat::LsEvaluator::LsEvaluator	(	const CpModelProto &	cp_model,
		const SatParameters &	params,
		const std::vector< bool > &	ignored_constraints,
		absl::Span< const ConstraintProto >	additional_constraints,
		TimeLimit *	time_limit )

Definition at line 1543 of file constraint_violation.cc.

Member Function Documentation

◆ ComputeAllNonLinearViolations()

void operations_research::sat::LsEvaluator::ComputeAllNonLinearViolations ( absl::Span< const int64_t > solution )

Definition at line 1946 of file constraint_violation.cc.

◆ ComputeAllViolations()

void operations_research::sat::LsEvaluator::ComputeAllViolations ( absl::Span< const int64_t > solution )

Definition at line 1934 of file constraint_violation.cc.

◆ ConstraintToVars()

absl::Span< const int > operations_research::sat::LsEvaluator::ConstraintToVars ( int c ) const

inline

Definition at line 431 of file constraint_violation.h.

◆ DeterministicTime()

double operations_research::sat::LsEvaluator::DeterministicTime ( ) const

inline

Definition at line 448 of file constraint_violation.h.

◆ GeneralConstraintToVars()

absl::Span< const int > operations_research::sat::LsEvaluator::GeneralConstraintToVars ( int general_c ) const

inline

Definition at line 443 of file constraint_violation.h.

◆ IsObjectiveConstraint()

bool operations_research::sat::LsEvaluator::IsObjectiveConstraint ( int c ) const

inline

Definition at line 369 of file constraint_violation.h.

◆ IsViolated()

bool operations_research::sat::LsEvaluator::IsViolated ( int c ) const

Definition at line 2048 of file constraint_violation.cc.

◆ last_update_violation_changes()

const std::vector< int > & operations_research::sat::LsEvaluator::last_update_violation_changes ( ) const

inline

Definition at line 427 of file constraint_violation.h.

◆ LinearEvaluator()

const LinearIncrementalEvaluator & operations_research::sat::LsEvaluator::LinearEvaluator ( )

inline

Definition at line 401 of file constraint_violation.h.

◆ MutableLinearEvaluator()

LinearIncrementalEvaluator * operations_research::sat::LsEvaluator::MutableLinearEvaluator ( )

inline

Definition at line 405 of file constraint_violation.h.

◆ NumEvaluatorConstraints()

int operations_research::sat::LsEvaluator::NumEvaluatorConstraints ( ) const

Definition at line 2020 of file constraint_violation.cc.

◆ NumInfeasibleConstraints()

int operations_research::sat::LsEvaluator::NumInfeasibleConstraints ( ) const

Definition at line 2025 of file constraint_violation.cc.

◆ NumLinearConstraints()

int operations_research::sat::LsEvaluator::NumLinearConstraints ( ) const

Definition at line 2012 of file constraint_violation.cc.

◆ NumNonLinearConstraints()

int operations_research::sat::LsEvaluator::NumNonLinearConstraints ( ) const

Definition at line 2016 of file constraint_violation.cc.

◆ NumViolatedConstraintsForVarIgnoringObjective()

int operations_research::sat::LsEvaluator::NumViolatedConstraintsForVarIgnoringObjective ( int var ) const

inline

Definition at line 420 of file constraint_violation.h.

◆ ObjectiveActivity()

int64_t operations_research::sat::LsEvaluator::ObjectiveActivity ( ) const

Definition at line 2007 of file constraint_violation.cc.

◆ ObjectiveCoefficient()

int64_t operations_research::sat::LsEvaluator::ObjectiveCoefficient ( int var ) const

inline

Definition at line 373 of file constraint_violation.h.

◆ RecomputeViolatedList()

void operations_research::sat::LsEvaluator::RecomputeViolatedList ( bool linear_only )

Definition at line 2103 of file constraint_violation.cc.

◆ ReduceObjectiveBounds()

bool operations_research::sat::LsEvaluator::ReduceObjectiveBounds	(	int64_t	lb,
		int64_t	ub )

Definition at line 1925 of file constraint_violation.cc.

◆ SumOfViolations()

int64_t operations_research::sat::LsEvaluator::SumOfViolations ( )

Definition at line 1990 of file constraint_violation.cc.

◆ UpdateLinearScores()

void 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 )

Definition at line 1968 of file constraint_violation.cc.

◆ UpdateNonLinearViolations()

void operations_research::sat::LsEvaluator::UpdateNonLinearViolations	(	int	var,
		int64_t	old_value,
		absl::Span< const int64_t >	new_solution )

Definition at line 1954 of file constraint_violation.cc.

◆ UpdateViolatedList()

void operations_research::sat::LsEvaluator::UpdateViolatedList ( )

Definition at line 1982 of file constraint_violation.cc.

◆ VariableOnlyInLinearConstraintWithConvexViolationChange()

bool operations_research::sat::LsEvaluator::VariableOnlyInLinearConstraintWithConvexViolationChange ( int var ) const

Definition at line 2098 of file constraint_violation.cc.

◆ VariablesAffectedByLastLinearUpdate()

absl::Span< const int > operations_research::sat::LsEvaluator::VariablesAffectedByLastLinearUpdate ( ) const

inline

Definition at line 359 of file constraint_violation.h.

◆ VarToGeneralConstraints()

absl::Span< const int > operations_research::sat::LsEvaluator::VarToGeneralConstraints ( int var ) const

inline

Definition at line 440 of file constraint_violation.h.

◆ ViolatedConstraints()

absl::Span< const int > operations_research::sat::LsEvaluator::ViolatedConstraints ( ) const

inline

Definition at line 415 of file constraint_violation.h.

◆ Violation()

int64_t operations_research::sat::LsEvaluator::Violation ( int c ) const

Definition at line 2040 of file constraint_violation.cc.

◆ WeightedViolation()

double operations_research::sat::LsEvaluator::WeightedViolation ( absl::Span< const double > weights ) const

Definition at line 2057 of file constraint_violation.cc.

◆ WeightedViolationDelta()

double 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

Definition at line 2069 of file constraint_violation.cc.

The documentation for this class was generated from the following files:

ortools/sat/constraint_violation.h
ortools/sat/constraint_violation.cc

Detailed Description

Public Member Functions

Constructor & Destructor Documentation

◆ LsEvaluator() [1/2]

◆ LsEvaluator() [2/2]

Member Function Documentation

◆ ComputeAllNonLinearViolations()

◆ ComputeAllViolations()

◆ ConstraintToVars()

◆ DeterministicTime()

◆ GeneralConstraintToVars()

◆ IsObjectiveConstraint()

◆ IsViolated()

◆ last_update_violation_changes()

◆ LinearEvaluator()

◆ MutableLinearEvaluator()

◆ NumEvaluatorConstraints()

◆ NumInfeasibleConstraints()

◆ NumLinearConstraints()

◆ NumNonLinearConstraints()

◆ NumViolatedConstraintsForVarIgnoringObjective()

◆ ObjectiveActivity()

◆ ObjectiveCoefficient()

◆ RecomputeViolatedList()

◆ ReduceObjectiveBounds()

◆ SumOfViolations()

◆ UpdateLinearScores()

◆ UpdateNonLinearViolations()

◆ UpdateViolatedList()

◆ VariableOnlyInLinearConstraintWithConvexViolationChange()

◆ VariablesAffectedByLastLinearUpdate()

◆ VarToGeneralConstraints()

◆ ViolatedConstraints()

◆ Violation()

◆ WeightedViolation()

◆ WeightedViolationDelta()