operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement > Class Template Reference

Detailed Description

template<bool has_enforcement = true>
class operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >

Definition at line 659 of file constraint_violation.h.

#include <constraint_violation.h>

Inheritance diagram for operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >:

Classes
struct	Box

Public Member Functions
	CompiledNoOverlap2dWithTwoBoxes (absl::Span< const int > enforcement_literals, const ConstraintProto &x1, const ConstraintProto &y1, const ConstraintProto &x2, const ConstraintProto &y2)
	~CompiledNoOverlap2dWithTwoBoxes () final=default
int64_t	ComputeViolation (absl::Span< const int64_t > solution) final
int64_t	ViolationDelta (int, 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)
virtual void	PerformMove (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
int64_t	violation () const

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

Constructor & Destructor Documentation

CompiledNoOverlap2dWithTwoBoxes()

template<bool has_enforcement = true>

operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >::CompiledNoOverlap2dWithTwoBoxes ( absl::Span< const int > enforcement_literals, const ConstraintProto & x1, const ConstraintProto & y1, const ConstraintProto & x2, const ConstraintProto & y2 )

inline

Definition at line 673 of file constraint_violation.h.

~CompiledNoOverlap2dWithTwoBoxes()

template<bool has_enforcement = true>

operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >::~CompiledNoOverlap2dWithTwoBoxes ( )

finaldefault

Member Function Documentation

ComputeViolation()

template<bool has_enforcement = true>

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

inlinefinalvirtual

Implements operations_research::sat::CompiledConstraint.

Definition at line 700 of file constraint_violation.h.

UsedVariables()

template<bool has_enforcement>

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

finalvirtual

Implements operations_research::sat::CompiledConstraint.

Definition at line 1286 of file constraint_violation.cc.

ViolationDelta()

template<bool has_enforcement>

int64_t operations_research::sat::CompiledNoOverlap2dWithTwoBoxes< has_enforcement >::ViolationDelta ( int , int64_t , absl::Span< const int64_t > solution_with_new_value )

finalvirtual

Reimplemented from operations_research::sat::CompiledConstraint.

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