operations_research::sat::MinPropagator Class Reference

Detailed Description

Definition at line 226 of file integer_expr.h.

#include <integer_expr.h>

Inheritance diagram for operations_research::sat::MinPropagator:

Public Member Functions
	MinPropagator (std::vector< AffineExpression > vars, AffineExpression min_var, IntegerTrail *integer_trail)
	MinPropagator (const MinPropagator &)=delete
MinPropagator &	operator= (const MinPropagator &)=delete
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

MinPropagator() [1/2]

operations_research::sat::MinPropagator::MinPropagator	(	std::vector< AffineExpression >	vars,
		AffineExpression	min_var,
		IntegerTrail *	integer_trail )

Definition at line 533 of file integer_expr.cc.

MinPropagator() [2/2]

operations_research::sat::MinPropagator::MinPropagator ( const MinPropagator & )

delete

Member Function Documentation

operator=()

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

delete

Propagate()

bool operations_research::sat::MinPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 540 of file integer_expr.cc.

RegisterWith()

void operations_research::sat::MinPropagator::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 618 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