operations_research::sat::GreaterThanMinOfExprsPropagator Class Reference

Detailed Description

Definition at line 249 of file integer_expr.h.

#include <integer_expr.h>

Inheritance diagram for operations_research::sat::GreaterThanMinOfExprsPropagator:

Public Member Functions
	GreaterThanMinOfExprsPropagator (absl::Span< const Literal > enforcement_literals, std::vector< LinearExpression > exprs, IntegerVariable min_var, Model *model)
	GreaterThanMinOfExprsPropagator (const GreaterThanMinOfExprsPropagator &)=delete
GreaterThanMinOfExprsPropagator &	operator= (const GreaterThanMinOfExprsPropagator &)=delete
std::string	LazyReasonName () const override
bool	Propagate () final
void	Explain (int id, IntegerLiteral to_explain, IntegerReason *reason) final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

GreaterThanMinOfExprsPropagator() [1/2]

operations_research::sat::GreaterThanMinOfExprsPropagator::GreaterThanMinOfExprsPropagator	(	absl::Span< const Literal >	enforcement_literals,
		std::vector< LinearExpression >	exprs,
		IntegerVariable	min_var,
		Model *	model )

Definition at line 626 of file integer_expr.cc.

GreaterThanMinOfExprsPropagator() [2/2]

operations_research::sat::GreaterThanMinOfExprsPropagator::GreaterThanMinOfExprsPropagator ( const GreaterThanMinOfExprsPropagator & )

delete

Member Function Documentation

Explain()

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

finalvirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 644 of file integer_expr.cc.

LazyReasonName()

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

inlineoverridevirtual

Implements operations_research::sat::LazyReasonInterface.

Definition at line 261 of file integer_expr.h.

operator=()

GreaterThanMinOfExprsPropagator & operations_research::sat::GreaterThanMinOfExprsPropagator::operator= ( const GreaterThanMinOfExprsPropagator & )

delete

Propagate()

bool operations_research::sat::GreaterThanMinOfExprsPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 735 of file integer_expr.cc.

---

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

• ortools/sat/integer_expr.h
• ortools/sat/integer_expr.cc