#include <diffn_cuts.h>

Inheritance diagram for operations_research::sat::DiffnCtEvent:

Public Member Functions
	DiffnCtEvent (int t, SchedulingConstraintHelper *x_helper)

std::string	DebugString () const

Public Member Functions inherited from operations_research::sat::DiffnBaseEvent
	DiffnBaseEvent (int t, 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

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 84 of file diffn_cuts.h.

Constructor & Destructor Documentation

◆ DiffnCtEvent()

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

Definition at line 375 of file diffn_cuts.cc.

Member Function Documentation

◆ DebugString()

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

Definition at line 378 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 97 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 93 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 88 of file diffn_cuts.h.

◆ x_lp_end

double operations_research::sat::DiffnCtEvent::x_lp_end

Definition at line 89 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 102 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

Public Member Functions

Public Attributes