operations_research::sat::CompiledConstraint Class Reference

Detailed Description

Definition at line 247 of file constraint_violation.h.

#include <constraint_violation.h>

Inheritance diagram for operations_research::sat::CompiledConstraint:

Public Member Functions
	CompiledConstraint ()=default
virtual	~CompiledConstraint ()=default
void	InitializeViolation (absl::Span< const int64_t > solution)
virtual void	PerformMove (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
virtual int64_t	ViolationDelta (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
virtual std::vector< int >	UsedVariables (const CpModelProto &model_proto) const =0
int64_t	violation () const

Protected Member Functions
virtual int64_t	ComputeViolation (absl::Span< const int64_t > solution)=0

Protected Attributes
int64_t	violation_

Constructor & Destructor Documentation

CompiledConstraint()

operations_research::sat::CompiledConstraint::CompiledConstraint ( )

default

~CompiledConstraint()

virtual operations_research::sat::CompiledConstraint::~CompiledConstraint ( )

virtualdefault

Member Function Documentation

ComputeViolation()

virtual int64_t operations_research::sat::CompiledConstraint::ComputeViolation ( absl::Span< const int64_t > solution )

protectedpure virtual

Implemented in operations_research::sat::CompiledConstraintWithProto, operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >, operations_research::sat::CompiledNoOverlapWithTwoIntervals< has_enforcement >, and operations_research::sat::CompiledReservoirConstraint.

InitializeViolation()

void operations_research::sat::CompiledConstraint::InitializeViolation

(

absl::Span< const int64_t >

solution

)

Definition at line 923 of file constraint_violation.cc.

PerformMove()

void operations_research::sat::CompiledConstraint::PerformMove ( int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value )

virtual

Reimplemented in operations_research::sat::CompiledCircuitConstraint, and operations_research::sat::CompiledReservoirConstraint.

Definition at line 928 of file constraint_violation.cc.

UsedVariables()

virtual std::vector< int > operations_research::sat::CompiledConstraint::UsedVariables ( const CpModelProto & model_proto ) const

pure virtual

Implemented in operations_research::sat::CompiledConstraintWithProto, operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >, operations_research::sat::CompiledNoOverlapWithTwoIntervals< has_enforcement >, and operations_research::sat::CompiledReservoirConstraint.

violation()

int64_t operations_research::sat::CompiledConstraint::violation ( ) const

inline

Definition at line 273 of file constraint_violation.h.

ViolationDelta()

int64_t operations_research::sat::CompiledConstraint::ViolationDelta ( int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value )

virtual

Reimplemented in operations_research::sat::CompiledConstraintWithProto, operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >, operations_research::sat::CompiledNoOverlapWithTwoIntervals< has_enforcement >, and operations_research::sat::CompiledReservoirConstraint.

Definition at line 934 of file constraint_violation.cc.

Member Data Documentation

violation_

int64_t operations_research::sat::CompiledConstraint::violation_

protected

Definition at line 282 of file constraint_violation.h.

---

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

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