Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CompiledConstraintWithProto Class Referenceabstract

Detailed Description

Definition at line 287 of file constraint_violation.h.

#include <constraint_violation.h>

Inheritance diagram for operations_research::sat::CompiledConstraintWithProto:
operations_research::sat::CompiledConstraint operations_research::sat::CompiledAllDiffConstraint operations_research::sat::CompiledBoolXorConstraint operations_research::sat::CompiledCircuitConstraint operations_research::sat::CompiledIntDivConstraint operations_research::sat::CompiledIntModConstraint operations_research::sat::CompiledIntProdConstraint operations_research::sat::CompiledLinMaxConstraint operations_research::sat::CompiledNoOverlap2dConstraint

Public Member Functions

 CompiledConstraintWithProto (const ConstraintProto &ct_proto)
 ~CompiledConstraintWithProto () override=default
const ConstraintProto & ct_proto () const
int64_t ComputeViolation (absl::Span< const int64_t > solution) final
int64_t ViolationDelta (int var, int64_t old_value, 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)
virtual void PerformMove (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
int64_t violation () const

Protected Member Functions

virtual int64_t ComputeViolationWhenEnforced (absl::Span< const int64_t > solution)=0
virtual int64_t ViolationDeltaWhenEnforced (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)

Additional Inherited Members

Protected Attributes inherited from operations_research::sat::CompiledConstraint
int64_t violation_

Constructor & Destructor Documentation

◆ CompiledConstraintWithProto()

operations_research::sat::CompiledConstraintWithProto::CompiledConstraintWithProto ( const ConstraintProto & ct_proto)
explicit

Definition at line 941 of file constraint_violation.cc.

◆ ~CompiledConstraintWithProto()

operations_research::sat::CompiledConstraintWithProto::~CompiledConstraintWithProto ( )
overridedefault

Member Function Documentation

◆ ComputeViolation()

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

Implements operations_research::sat::CompiledConstraint.

Definition at line 945 of file constraint_violation.cc.

◆ ComputeViolationWhenEnforced()

virtual int64_t operations_research::sat::CompiledConstraintWithProto::ComputeViolationWhenEnforced ( absl::Span< const int64_t > solution)
protectedpure virtual

Implemented in operations_research::sat::CompiledAllDiffConstraint, operations_research::sat::CompiledBoolXorConstraint, operations_research::sat::CompiledCircuitConstraint, operations_research::sat::CompiledIntDivConstraint, operations_research::sat::CompiledIntModConstraint, operations_research::sat::CompiledIntProdConstraint, operations_research::sat::CompiledLinMaxConstraint, and operations_research::sat::CompiledNoOverlap2dConstraint.

◆ ct_proto()

const ConstraintProto & operations_research::sat::CompiledConstraintWithProto::ct_proto ( ) const
inline

Definition at line 292 of file constraint_violation.h.

◆ UsedVariables()

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

Implements operations_research::sat::CompiledConstraint.

Definition at line 981 of file constraint_violation.cc.

◆ ViolationDelta()

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

Reimplemented from operations_research::sat::CompiledConstraint.

Definition at line 953 of file constraint_violation.cc.

◆ ViolationDeltaWhenEnforced()

int64_t operations_research::sat::CompiledConstraintWithProto::ViolationDeltaWhenEnforced ( int var,
int64_t old_value,
absl::Span< const int64_t > solution_with_new_value )
protectedvirtual

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

Definition at line 995 of file constraint_violation.cc.

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