#include <disjunctive.h>

Inheritance diagram for operations_research::sat::DisjunctiveOverloadChecker:

Public Member Functions
	DisjunctiveOverloadChecker (SchedulingConstraintHelper *helper)

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

Below are many of the known propagation techniques for the disjunctive, each implemented in only one time direction and in its own propagator class. The Disjunctive() model function above will instantiate the used ones (according to the solver parameters) in both time directions.

See Petr Vilim PhD "Global Constraints in Scheduling" for a description of some of the algorithm.

Definition at line 135 of file disjunctive.h.

Constructor & Destructor Documentation

◆ DisjunctiveOverloadChecker()

operations_research::sat::DisjunctiveOverloadChecker::DisjunctiveOverloadChecker ( SchedulingConstraintHelper * helper )

inlineexplicit

Definition at line 137 of file disjunctive.h.

Member Function Documentation

◆ Propagate()

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

Split problem into independent part.

Many propagators in this file use the same approach, we start by processing the task by increasing start-min, packing everything to the left. We then process each "independent" set of task separately. A task is independent from the one before it, if its start-min wasn't pushed.

This way, we get one or more window [window_start, window_end] so that for all task in the window, [start_min, end_min] is inside the window, and the end min of any set of task to the left is <= window_start, and the start_min of any task to the right is >= end_min.

Extend window.

Process current window. We don't need to process the end of the window (after relevant_size) because these interval can be greedily assembled in a feasible solution.

Start of the next window.

Process last window.

Implements operations_research::sat::PropagatorInterface.

Definition at line 454 of file disjunctive.cc.

◆ RegisterWith()

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

This propagator reach the fix point in one pass.

Definition at line 632 of file disjunctive.cc.

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