operations_research::sat::Precedences2DPropagator Class Reference

Detailed Description

Definition at line 41 of file 2d_distances_propagator.h.

#include <2d_distances_propagator.h>

Inheritance diagram for operations_research::sat::Precedences2DPropagator:

Public Member Functions
	Precedences2DPropagator (NoOverlap2DConstraintHelper *helper, Model *model)
	~Precedences2DPropagator () override
bool	Propagate () final
int	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

Precedences2DPropagator()

operations_research::sat::Precedences2DPropagator::Precedences2DPropagator	(	NoOverlap2DConstraintHelper *	helper,
		Model *	model )

Definition at line 44 of file 2d_distances_propagator.cc.

~Precedences2DPropagator()

operations_research::sat::Precedences2DPropagator::~Precedences2DPropagator ( )

override

Definition at line 229 of file 2d_distances_propagator.cc.

Member Function Documentation

Propagate()

bool operations_research::sat::Precedences2DPropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 166 of file 2d_distances_propagator.cc.

RegisterWith()

int operations_research::sat::Precedences2DPropagator::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 222 of file 2d_distances_propagator.cc.

---

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

• ortools/sat/2d_distances_propagator.h
• ortools/sat/2d_distances_propagator.cc