Propagator that compares the boxes pairwise. More...

#include <diffn.h>

Inheritance diagram for operations_research::sat::RectanglePairwisePropagator:

Public Member Functions
	RectanglePairwisePropagator (SchedulingConstraintHelper x, SchedulingConstraintHelper y, Model *model)

	~RectanglePairwisePropagator () 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

Propagator that compares the boxes pairwise.

Definition at line 147 of file diffn.h.

Constructor & Destructor Documentation

◆ RectanglePairwisePropagator()

operations_research::sat::RectanglePairwisePropagator::RectanglePairwisePropagator	(	SchedulingConstraintHelper *	x,
		SchedulingConstraintHelper *	y,
		Model *	model )

inline

Definition at line 149 of file diffn.h.

◆ ~RectanglePairwisePropagator()

operations_research::sat::RectanglePairwisePropagator::~RectanglePairwisePropagator ( )

override

Definition at line 857 of file diffn.cc.

Member Function Documentation

◆ Propagate()

bool operations_research::sat::RectanglePairwisePropagator::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.

Check zero area boxes against non-zero area boxes.

Check vertical zero area boxes against horizontal zero area boxes.

Implements operations_research::sat::PropagatorInterface.

Definition at line 869 of file diffn.cc.

◆ RegisterWith()

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

Definition at line 849 of file diffn.cc.

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

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