Detailed Description

Stores the event for a rectangle along the two axis x and y. For a no_overlap constraint, y is always of size 1 between 0 and 1. For a cumulative constraint, y is the demand that must be between 0 and capacity_max. For a no_overlap_2d constraint, y the other dimension of the rect.

Definition at line 82 of file diffn_cuts.h.

#include <diffn_cuts.h>

Inheritance diagram for operations_research::sat::DiffnCtEvent:

Public Member Functions
	DiffnCtEvent (int t, const SchedulingConstraintHelper *x_helper)
std::string	DebugString () const
Public Member Functions inherited from operations_research::sat::DiffnBaseEvent
	DiffnBaseEvent (int t, const SchedulingConstraintHelper *x_helper)

Public Attributes
AffineExpression	x_end
	The lp value of the end of the x interval.
double	x_lp_end
bool	use_energy = false
bool	lifted = false
bool	y_size_is_fixed = false
Public Attributes inherited from operations_research::sat::DiffnBaseEvent
IntegerValue	x_start_min
	Cache of the intervals bound on the x direction.
IntegerValue	x_start_max
IntegerValue	x_end_min
IntegerValue	x_end_max
IntegerValue	x_size_min
IntegerValue	y_min = IntegerValue(0)
	Useful for no_overlap_2d or cumulative.
IntegerValue	y_max = IntegerValue(0)
IntegerValue	y_size_min
IntegerValue	energy_min
	The energy min of this event.
std::vector< LiteralValueValue >	decomposed_energy

Constructor & Destructor Documentation

◆ DiffnCtEvent()

operations_research::sat::DiffnCtEvent::DiffnCtEvent	(	int	t,
		const SchedulingConstraintHelper *	x_helper )

Definition at line 372 of file diffn_cuts.cc.

Member Function Documentation

◆ DebugString()

std::string operations_research::sat::DiffnCtEvent::DebugString ( ) const

Definition at line 375 of file diffn_cuts.cc.

Member Data Documentation

◆ lifted

bool operations_research::sat::DiffnCtEvent::lifted = false

Indicates if the cut is lifted, that is if it includes tasks that are not strictly contained in the current time window.

Definition at line 95 of file diffn_cuts.h.

◆ use_energy

bool operations_research::sat::DiffnCtEvent::use_energy = false

Indicates if the events used the optional energy information from the model.

Definition at line 91 of file diffn_cuts.h.

◆ x_end

AffineExpression operations_research::sat::DiffnCtEvent::x_end

The lp value of the end of the x interval.

Definition at line 86 of file diffn_cuts.h.

◆ x_lp_end

double operations_research::sat::DiffnCtEvent::x_lp_end

Definition at line 87 of file diffn_cuts.h.

◆ y_size_is_fixed

bool operations_research::sat::DiffnCtEvent::y_size_is_fixed = false

If we know that the size on y is fixed, we can use some heuristic to compute the maximum subset sums under the capacity and use that instead of the full capacity.

Definition at line 100 of file diffn_cuts.h.

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

ortools/sat/diffn_cuts.h
ortools/sat/diffn_cuts.cc