operations_research::sat::AllDifferentBoundsPropagator Class Reference

Detailed Description

Definition at line 158 of file all_different.h.

#include <all_different.h>

Inheritance diagram for operations_research::sat::AllDifferentBoundsPropagator:

Public Member Functions
	AllDifferentBoundsPropagator (absl::Span< const Literal > enforcement_literals, absl::Span< const AffineExpression > expressions, Model *model)
	AllDifferentBoundsPropagator (const AllDifferentBoundsPropagator &)=delete
AllDifferentBoundsPropagator &	operator= (const AllDifferentBoundsPropagator &)=delete
bool	Propagate () 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

AllDifferentBoundsPropagator() [1/2]

operations_research::sat::AllDifferentBoundsPropagator::AllDifferentBoundsPropagator	(	absl::Span< const Literal >	enforcement_literals,
		absl::Span< const AffineExpression >	expressions,
		Model *	model )

Definition at line 415 of file all_different.cc.

AllDifferentBoundsPropagator() [2/2]

operations_research::sat::AllDifferentBoundsPropagator::AllDifferentBoundsPropagator ( const AllDifferentBoundsPropagator & )

delete

Member Function Documentation

operator=()

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

delete

Propagate()

bool operations_research::sat::AllDifferentBoundsPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 439 of file all_different.cc.

---

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

• ortools/sat/all_different.h
• ortools/sat/all_different.cc