operations_research::sat::CompiledReservoirConstraint Class Reference

Detailed Description

Definition at line 731 of file constraint_violation.h.

#include <constraint_violation.h>

Inheritance diagram for operations_research::sat::CompiledReservoirConstraint:

Public Member Functions
	CompiledReservoirConstraint (std::vector< int > enforcement_literals, LinearExpressionProto capacity, std::vector< std::optional< int > > is_active, std::vector< LinearExpressionProto > times, std::vector< LinearExpressionProto > demands)
int64_t	ComputeViolation (absl::Span< const int64_t > solution) final
void	PerformMove (int, int64_t, absl::Span< const int64_t > solution_with_new_value) final
int64_t	ViolationDelta (int var, int64_t, absl::Span< const int64_t > solution_with_new_value) final
std::vector< int >	UsedVariables (const CpModelProto &model_proto) const final
Public Member Functions inherited from operations_research::sat::CompiledConstraint
	CompiledConstraint ()=default
virtual	~CompiledConstraint ()=default
void	InitializeViolation (absl::Span< const int64_t > solution)
int64_t	violation () const

Additional Inherited Members
Protected Attributes inherited from operations_research::sat::CompiledConstraint
int64_t	violation_

Constructor & Destructor Documentation

CompiledReservoirConstraint()

operations_research::sat::CompiledReservoirConstraint::CompiledReservoirConstraint ( std::vector< int > enforcement_literals, LinearExpressionProto capacity, std::vector< std::optional< int > > is_active, std::vector< LinearExpressionProto > times, std::vector< LinearExpressionProto > demands )

inline

Definition at line 733 of file constraint_violation.h.

Member Function Documentation

ComputeViolation()

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

finalvirtual

Implements operations_research::sat::CompiledConstraint.

Definition at line 2138 of file constraint_violation.cc.

PerformMove()

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

inlinefinalvirtual

Reimplemented from operations_research::sat::CompiledConstraint.

Definition at line 751 of file constraint_violation.h.

UsedVariables()

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

finalvirtual

Implements operations_research::sat::CompiledConstraint.

Definition at line 2339 of file constraint_violation.cc.

ViolationDelta()

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

inlinefinalvirtual

Reimplemented from operations_research::sat::CompiledConstraint.

Definition at line 759 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