Detailed Description

Specialized reservoir constraint.

This constraint allows adding emptying/refilling events to the reservoir constraint incrementally.

Definition at line 645 of file cp_model.h.

#include <cp_model.h>

Inheritance diagram for operations_research::sat::ReservoirConstraint:

Public Member Functions
void	AddEvent (LinearExpr time, int64_t level_change)
Public Member Functions inherited from operations_research::sat::Constraint
Constraint	OnlyEnforceIf (absl::Span< const BoolVar > literals)
Constraint	OnlyEnforceIf (BoolVar literal)
	See OnlyEnforceIf(absl::Span<const BoolVar> literals).
Constraint	WithName (absl::string_view name)
	Sets the name of the constraint.
absl::string_view	Name () const
	Returns the name of the constraint (or the empty string if not set).
const ConstraintProto &	Proto () const
	Returns the underlying protobuf object (useful for testing).
ConstraintProto *	MutableProto () const
	Returns the mutable underlying protobuf object (useful for model edition).

Additional Inherited Members
Protected Member Functions inherited from operations_research::sat::Constraint
	Constraint (ConstraintProto *proto)
Protected Attributes inherited from operations_research::sat::Constraint
ConstraintProto *	proto_ = nullptr

Member Function Documentation

void operations_research::sat::ReservoirConstraint::AddEvent	(	LinearExpr	time,
		int64_t	level_change )

Adds a mandatory event

It will increase the used capacity by level_change at time time. time must be an affine expression.

Definition at line 538 of file cp_model.cc.

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