Inheritance diagram for operations_research::sat::CompiledIntProdConstraint:

Public Member Functions
	CompiledIntProdConstraint (const ConstraintProto &ct_proto)
	--— CompiledIntProdConstraint --—

	~CompiledIntProdConstraint () override=default

int64_t	ComputeViolation (absl::Span< const int64_t > solution) override

Public Member Functions inherited from operations_research::sat::CompiledConstraintWithProto
	CompiledConstraintWithProto (const ConstraintProto &ct_proto)
	--— CompiledConstraintWithProto --—

	~CompiledConstraintWithProto () override=default

const ConstraintProto &	ct_proto () const

std::vector< int >	UsedVariables (const CpModelProto &model_proto) const final
	This just returns the variables used by the stored ct_proto_.

Public Member Functions inherited from operations_research::sat::CompiledConstraint
	CompiledConstraint ()=default

virtual	~CompiledConstraint ()=default

void	InitializeViolation (absl::Span< const int64_t > solution)
	Recomputes the violation of the constraint from scratch.

virtual void	PerformMove (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
	Updates the violation with the new value.

virtual int64_t	ViolationDelta (int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value)
	Returns the delta if var changes from old_value to solution[var].

int64_t	violation () const
	The cached violation of this constraint.

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

Detailed Description

The violation of an int_prod constraint is abs(value(target) - prod(value(expr)).

Definition at line 488 of file constraint_violation.h.

Constructor & Destructor Documentation

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

explicit

Definition at line 1039 of file constraint_violation.cc.

operations_research::sat::CompiledIntProdConstraint::~CompiledIntProdConstraint ( )

overridedefault

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

overridevirtual

Computes the violation of a constraint.

This is called by InitializeViolation() and also the default implementation of ViolationDelta().

Definition at line 1043 of file constraint_violation.cc.

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