operations_research::sat::LinearPropagator Class Reference

Detailed Description

Definition at line 233 of file linear_propagation.h.

#include <linear_propagation.h>

Inheritance diagram for operations_research::sat::LinearPropagator:

Public Member Functions
	LinearPropagator (Model *model)
	~LinearPropagator () override
bool	Propagate () final
void	SetLevel (int level) final
std::string	LazyReasonName () const override
bool	AddConstraint (absl::Span< const Literal > enforcement_literals, absl::Span< const IntegerVariable > vars, absl::Span< const IntegerValue > coeffs, IntegerValue upper_bound)
void	Explain (int id, IntegerLiteral to_explain, IntegerReason *reason) final
void	SetPushAffineUbForBinaryRelation ()
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

LinearPropagator()

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

explicit

Definition at line 51 of file linear_propagation.cc.

~LinearPropagator()

operations_research::sat::LinearPropagator::~LinearPropagator ( )

override

Definition at line 78 of file linear_propagation.cc.

Member Function Documentation

AddConstraint()

bool operations_research::sat::LinearPropagator::AddConstraint	(	absl::Span< const Literal >	enforcement_literals,
		absl::Span< const IntegerVariable >	vars,
		absl::Span< const IntegerValue >	coeffs,
		IntegerValue	upper_bound )

Definition at line 328 of file linear_propagation.cc.

Explain()

void operations_research::sat::LinearPropagator::Explain ( int id, IntegerLiteral to_explain, IntegerReason * reason )

finalvirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 649 of file linear_propagation.cc.

LazyReasonName()

std::string operations_research::sat::LinearPropagator::LazyReasonName ( ) const

inlineoverridevirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 242 of file linear_propagation.h.

Propagate()

bool operations_research::sat::LinearPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 170 of file linear_propagation.cc.

SetLevel()

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

finalvirtual

Implements operations_research::ReversibleInterface.

Definition at line 102 of file linear_propagation.cc.

SetPushAffineUbForBinaryRelation()

void operations_research::sat::LinearPropagator::SetPushAffineUbForBinaryRelation ( )

inline

Definition at line 256 of file linear_propagation.h.

---

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

• ortools/sat/linear_propagation.h
• ortools/sat/linear_propagation.cc