operations_research::sat::CumulativeIsAfterSubsetConstraint Class Reference

Detailed Description

Definition at line 91 of file cumulative_energy.h.

#include <cumulative_energy.h>

Inheritance diagram for operations_research::sat::CumulativeIsAfterSubsetConstraint:

Public Member Functions
	CumulativeIsAfterSubsetConstraint (IntegerVariable var, AffineExpression capacity, const std::vector< int > &subtasks, absl::Span< const IntegerValue > offsets, SchedulingConstraintHelper *helper, SchedulingDemandHelper *demands, Model *model)
bool	Propagate () final
void	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

CumulativeIsAfterSubsetConstraint()

operations_research::sat::CumulativeIsAfterSubsetConstraint::CumulativeIsAfterSubsetConstraint	(	IntegerVariable	var,
		AffineExpression	capacity,
		const std::vector< int > &	subtasks,
		absl::Span< const IntegerValue >	offsets,
		SchedulingConstraintHelper *	helper,
		SchedulingDemandHelper *	demands,
		Model *	model )

Definition at line 251 of file cumulative_energy.cc.

Member Function Documentation

Propagate()

bool operations_research::sat::CumulativeIsAfterSubsetConstraint::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 270 of file cumulative_energy.cc.

RegisterWith()

void operations_research::sat::CumulativeIsAfterSubsetConstraint::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 388 of file cumulative_energy.cc.

---

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

• ortools/sat/cumulative_energy.h
• ortools/sat/cumulative_energy.cc