Exposed for testing. More...

Detailed Description

Exposed for testing.

Definition at line 36 of file 2d_mandatory_overlap_propagator.h.

#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 > &)

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 41 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 53 of file 2d_mandatory_overlap_propagator.cc.

◆ RegisterWith()

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

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