operations_research::sat::UpperBoundedLinearConstraint Class Reference

Detailed Description

Definition at line 394 of file pb_constraint.h.

#include <pb_constraint.h>

Public Member Functions
	UpperBoundedLinearConstraint (const std::vector< Literal > &enforcement_literals, const std::vector< LiteralWithCoeff > &cst)
EnforcementId	enforcement_id () const
void	set_enforcement_id (EnforcementId enforcement_id)
bool	HasIdenticalTermsAndEnforcement (absl::Span< const Literal > enforcement_literals, absl::Span< const LiteralWithCoeff > cst, EnforcementPropagator *enforcement_propagator)
Coefficient	Rhs () const
bool	InitializeRhs (EnforcementStatus enforcement_status, absl::Span< const Literal > enforcement_literals, Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)
bool	Propagate (int trail_index, Coefficient *threshold, Trail *trail, EnforcementStatus enforcement_status, absl::Span< const Literal > enforcement_literals, PbConstraintsEnqueueHelper *helper, bool *need_untrail_inspection=nullptr)
void	Untrail (Coefficient *threshold, int trail_index)
void	FillReason (const Trail &trail, int source_trail_index, absl::Span< const Literal > enforcement_literals, BooleanVariable propagated_variable, std::vector< std::tuple< int, int, int > > *temporary_tuples, std::vector< Literal > *reason)
void	ResolvePBConflict (const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack)
void	AddToConflict (MutableUpperBoundedLinearConstraint *conflict)
Coefficient	ComputeCancelation (const Trail &trail, int trail_index, const MutableUpperBoundedLinearConstraint &conflict)
void	MarkForDeletion ()
bool	is_marked_for_deletion () const
void	set_is_learned (bool is_learned)
bool	is_learned () const
bool	is_used_as_a_reason () const
void	set_activity (double activity)
double	activity () const
uint64_t	hash () const
int	already_propagated_end () const

Constructor & Destructor Documentation

UpperBoundedLinearConstraint()

operations_research::sat::UpperBoundedLinearConstraint::UpperBoundedLinearConstraint	(	const std::vector< Literal > &	enforcement_literals,
		const std::vector< LiteralWithCoeff > &	cst )

Definition at line 412 of file pb_constraint.cc.

Member Function Documentation

activity()

double operations_research::sat::UpperBoundedLinearConstraint::activity ( ) const

inline

Definition at line 509 of file pb_constraint.h.

AddToConflict()

void operations_research::sat::UpperBoundedLinearConstraint::AddToConflict

(

MutableUpperBoundedLinearConstraint *

conflict

)

Definition at line 458 of file pb_constraint.cc.

already_propagated_end()

int operations_research::sat::UpperBoundedLinearConstraint::already_propagated_end ( ) const

inline

Definition at line 517 of file pb_constraint.h.

ComputeCancelation()

Coefficient operations_research::sat::UpperBoundedLinearConstraint::ComputeCancelation	(	const Trail &	trail,
		int	trail_index,
		const MutableUpperBoundedLinearConstraint &	conflict )

Definition at line 767 of file pb_constraint.cc.

enforcement_id()

EnforcementId operations_research::sat::UpperBoundedLinearConstraint::enforcement_id ( ) const

inline

Definition at line 400 of file pb_constraint.h.

FillReason()

void operations_research::sat::UpperBoundedLinearConstraint::FillReason	(	const Trail &	trail,
		int	source_trail_index,
		absl::Span< const Literal >	enforcement_literals,
		BooleanVariable	propagated_variable,
		std::vector< std::tuple< int, int, int > > *	temporary_tuples,
		std::vector< Literal > *	reason )

Definition at line 663 of file pb_constraint.cc.

hash()

uint64_t operations_research::sat::UpperBoundedLinearConstraint::hash ( ) const

inline

Definition at line 513 of file pb_constraint.h.

HasIdenticalTermsAndEnforcement()

bool operations_research::sat::UpperBoundedLinearConstraint::HasIdenticalTermsAndEnforcement	(	absl::Span< const Literal >	enforcement_literals,
		absl::Span< const LiteralWithCoeff >	cst,
		EnforcementPropagator *	enforcement_propagator )

Definition at line 471 of file pb_constraint.cc.

InitializeRhs()

bool operations_research::sat::UpperBoundedLinearConstraint::InitializeRhs	(	EnforcementStatus	enforcement_status,
		absl::Span< const Literal >	enforcement_literals,
		Coefficient	rhs,
		int	trail_index,
		Coefficient *	threshold,
		Trail *	trail,
		PbConstraintsEnqueueHelper *	helper )

Definition at line 493 of file pb_constraint.cc.

is_learned()

bool operations_research::sat::UpperBoundedLinearConstraint::is_learned ( ) const

inline

Definition at line 503 of file pb_constraint.h.

is_marked_for_deletion()

bool operations_research::sat::UpperBoundedLinearConstraint::is_marked_for_deletion ( ) const

inline

Definition at line 495 of file pb_constraint.h.

is_used_as_a_reason()

bool operations_research::sat::UpperBoundedLinearConstraint::is_used_as_a_reason ( ) const

inline

Definition at line 504 of file pb_constraint.h.

MarkForDeletion()

void operations_research::sat::UpperBoundedLinearConstraint::MarkForDeletion ( )

inline

Definition at line 494 of file pb_constraint.h.

Propagate()

bool operations_research::sat::UpperBoundedLinearConstraint::Propagate	(	int	trail_index,
		Coefficient *	threshold,
		Trail *	trail,
		EnforcementStatus	enforcement_status,
		absl::Span< const Literal >	enforcement_literals,
		PbConstraintsEnqueueHelper *	helper,
		bool *	need_untrail_inspection = nullptr )

Definition at line 575 of file pb_constraint.cc.

ResolvePBConflict()

void operations_research::sat::UpperBoundedLinearConstraint::ResolvePBConflict	(	const Trail &	trail,
		BooleanVariable	var,
		MutableUpperBoundedLinearConstraint *	conflict,
		Coefficient *	conflict_slack )

Definition at line 784 of file pb_constraint.cc.

Rhs()

Coefficient operations_research::sat::UpperBoundedLinearConstraint::Rhs ( ) const

inline

Definition at line 411 of file pb_constraint.h.

set_activity()

void operations_research::sat::UpperBoundedLinearConstraint::set_activity ( double activity )

inline

Definition at line 508 of file pb_constraint.h.

set_enforcement_id()

void operations_research::sat::UpperBoundedLinearConstraint::set_enforcement_id ( EnforcementId enforcement_id )

inline

Definition at line 401 of file pb_constraint.h.

set_is_learned()

void operations_research::sat::UpperBoundedLinearConstraint::set_is_learned ( bool is_learned )

inline

Definition at line 499 of file pb_constraint.h.

Untrail()

void operations_research::sat::UpperBoundedLinearConstraint::Untrail	(	Coefficient *	threshold,
		int	trail_index )

Definition at line 933 of file pb_constraint.cc.

---

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

• ortools/sat/pb_constraint.h
• ortools/sat/pb_constraint.cc