operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator Class Reference

Detailed Description

Definition at line 99 of file diffn.h.

#include <diffn.h>

Inheritance diagram for operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator:

Public Member Functions
	NonOverlappingRectanglesDisjunctivePropagator (NoOverlap2DConstraintHelper *helper, Model *model)
	~NonOverlappingRectanglesDisjunctivePropagator () override
bool	Propagate () final
void	Register (int fast_priority, int slow_priority)
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

NonOverlappingRectanglesDisjunctivePropagator()

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

Definition at line 707 of file diffn.cc.

~NonOverlappingRectanglesDisjunctivePropagator()

operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator::~NonOverlappingRectanglesDisjunctivePropagator ( )

overridedefault

Member Function Documentation

Propagate()

bool operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 987 of file diffn.cc.

Register()

void operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator::Register	(	int	fast_priority,
		int	slow_priority )

Definition at line 726 of file diffn.cc.

---

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

• ortools/sat/diffn.h
• ortools/sat/diffn.cc