#include <scheduling_cuts.h>

Inheritance diagram for operations_research::sat::CtEvent:

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

std::string	DebugString () const

Public Member Functions inherited from operations_research::sat::BaseEvent
	BaseEvent (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::BaseEvent
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_size_min
	Cache of the bounds on the y direction.

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.

Definition at line 127 of file scheduling_cuts.h.

Constructor & Destructor Documentation

◆ CtEvent()

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

Definition at line 1004 of file scheduling_cuts.cc.

Member Function Documentation

◆ DebugString()

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

Definition at line 1007 of file scheduling_cuts.cc.

Member Data Documentation

◆ lifted

bool operations_research::sat::CtEvent::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 140 of file scheduling_cuts.h.

◆ use_energy

bool operations_research::sat::CtEvent::use_energy = false

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

Definition at line 136 of file scheduling_cuts.h.

◆ x_end

AffineExpression operations_research::sat::CtEvent::x_end

The lp value of the end of the x interval.

Definition at line 131 of file scheduling_cuts.h.

◆ x_lp_end

double operations_research::sat::CtEvent::x_lp_end

Definition at line 132 of file scheduling_cuts.h.

◆ y_size_is_fixed

bool operations_research::sat::CtEvent::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 145 of file scheduling_cuts.h.

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

ortools/sat/scheduling_cuts.h
ortools/sat/scheduling_cuts.cc

Public Member Functions

Public Attributes