operations_research::sat::CompiledBoolXorConstraint Class Reference

Detailed Description

Definition at line 488 of file constraint_violation.h.

#include <constraint_violation.h>

Inheritance diagram for operations_research::sat::CompiledBoolXorConstraint:

Public Member Functions
	CompiledBoolXorConstraint (const ConstraintProto &ct_proto)
	~CompiledBoolXorConstraint () override=default
int64_t	ComputeViolationWhenEnforced (absl::Span< const int64_t > solution) override
int64_t	ViolationDeltaWhenEnforced (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value) override
Public Member Functions inherited from operations_research::sat::CompiledConstraintWithProto
	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

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

Constructor & Destructor Documentation

CompiledBoolXorConstraint()

operations_research::sat::CompiledBoolXorConstraint::CompiledBoolXorConstraint ( const ConstraintProto & ct_proto )

explicit

Definition at line 1003 of file constraint_violation.cc.

~CompiledBoolXorConstraint()

operations_research::sat::CompiledBoolXorConstraint::~CompiledBoolXorConstraint ( )

overridedefault

Member Function Documentation

ComputeViolationWhenEnforced()

int64_t operations_research::sat::CompiledBoolXorConstraint::ComputeViolationWhenEnforced ( absl::Span< const int64_t > solution )

overridevirtual

Implements operations_research::sat::CompiledConstraintWithProto.

Definition at line 1007 of file constraint_violation.cc.

ViolationDeltaWhenEnforced()

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

overridevirtual

Reimplemented from operations_research::sat::CompiledConstraintWithProto.

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