Detailed Description

Definition at line 396 of file precedences.h.

#include <precedences.h>

Inheritance diagram for operations_research::sat::EnforcedLinear2Bounds:

Classes
struct	PrecedenceData

Public Member Functions
	EnforcedLinear2Bounds (Model *model)
	~EnforcedLinear2Bounds () override
void	PushConditionalRelation (absl::Span< const Literal > enforcements, LinearExpression2Index index, IntegerValue rhs)
void	PushConditionalRelation (absl::Span< const Literal > enforcements, LinearExpression2 expr, IntegerValue rhs)
void	SetLevel (int level) final
void	SetLevelToTrail ()
void	CollectPrecedences (absl::Span< const IntegerVariable > vars, std::vector< PrecedenceData > *output)
IntegerValue	GetUpperBoundFromEnforced (LinearExpression2Index index) const
void	AddReasonForUpperBoundLowerThan (LinearExpression2Index index, IntegerValue ub, std::vector< Literal > literal_reason, std::vector< IntegerLiteral > integer_reason) const
Public Member Functions inherited from operations_research::ReversibleInterface
	ReversibleInterface ()
virtual	~ReversibleInterface ()

Constructor & Destructor Documentation

◆ EnforcedLinear2Bounds()

operations_research::sat::EnforcedLinear2Bounds::EnforcedLinear2Bounds ( Model * model )

inlineexplicit

Definition at line 398 of file precedences.h.

◆ ~EnforcedLinear2Bounds()

operations_research::sat::EnforcedLinear2Bounds::~EnforcedLinear2Bounds ( )

override

Definition at line 341 of file precedences.cc.

Member Function Documentation

◆ AddReasonForUpperBoundLowerThan()

void operations_research::sat::EnforcedLinear2Bounds::AddReasonForUpperBoundLowerThan	(	LinearExpression2Index	index,
		IntegerValue	ub,
		std::vector< Literal > *	literal_reason,
		std::vector< IntegerLiteral > *	integer_reason ) const

Definition at line 441 of file precedences.cc.

◆ CollectPrecedences()

void operations_research::sat::EnforcedLinear2Bounds::CollectPrecedences	(	absl::Span< const IntegerVariable >	vars,
		std::vector< PrecedenceData > *	output )

Definition at line 670 of file precedences.cc.

◆ GetUpperBoundFromEnforced()

IntegerValue operations_research::sat::EnforcedLinear2Bounds::GetUpperBoundFromEnforced ( LinearExpression2Index index ) const

Definition at line 463 of file precedences.cc.

◆ PushConditionalRelation() [1/2]

void operations_research::sat::EnforcedLinear2Bounds::PushConditionalRelation	(	absl::Span< const Literal >	enforcements,
		LinearExpression2	expr,
		IntegerValue	rhs )

inline

Definition at line 425 of file precedences.h.

◆ PushConditionalRelation() [2/2]

void operations_research::sat::EnforcedLinear2Bounds::PushConditionalRelation	(	absl::Span< const Literal >	enforcements,
		LinearExpression2Index	index,
		IntegerValue	rhs )

Definition at line 349 of file precedences.cc.

◆ SetLevel()

void operations_research::sat::EnforcedLinear2Bounds::SetLevel ( int level )

finalvirtual

Implements operations_research::ReversibleInterface.

Definition at line 412 of file precedences.cc.

◆ SetLevelToTrail()

void operations_research::sat::EnforcedLinear2Bounds::SetLevelToTrail ( )