Exposed for testing. More...

#include <2d_mandatory_overlap_propagator.h>

Inheritance diagram for operations_research::sat::MandatoryOverlapPropagator:

Public Member Functions
	MandatoryOverlapPropagator (NoOverlap2DConstraintHelper helper, Model model)

	~MandatoryOverlapPropagator () 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 > &)

Detailed Description

Exposed for testing.

Definition at line 36 of file 2d_mandatory_overlap_propagator.h.

Constructor & Destructor Documentation

◆ MandatoryOverlapPropagator()

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

inline

Definition at line 38 of file 2d_mandatory_overlap_propagator.h.

◆ ~MandatoryOverlapPropagator()

operations_research::sat::MandatoryOverlapPropagator::~MandatoryOverlapPropagator ( )

override

Definition at line 39 of file 2d_mandatory_overlap_propagator.cc.

Member Function Documentation

◆ Propagate()

bool operations_research::sat::MandatoryOverlapPropagator::Propagate ( )

finalvirtual

This will be called after one or more literals that are watched by this propagator changed. It will also always be called on the first propagation cycle after registration.

Implements operations_research::sat::PropagatorInterface.

Definition at line 51 of file 2d_mandatory_overlap_propagator.cc.

◆ RegisterWith()

int operations_research::sat::MandatoryOverlapPropagator::RegisterWith ( GenericLiteralWatcher * watcher )

Definition at line 33 of file 2d_mandatory_overlap_propagator.cc.

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

ortools/sat/2d_mandatory_overlap_propagator.h
ortools/sat/2d_mandatory_overlap_propagator.cc