operations_research::sat::EnergyEvent Struct Reference

Inheritance diagram for operations_research::sat::EnergyEvent:

Public Member Functions
	EnergyEvent (int t, SchedulingConstraintHelper *x_helper)
bool	IsPresent () const
IntegerValue	GetMinOverlap (IntegerValue start, IntegerValue end) const
ABSL_MUST_USE_RESULT bool	FillEnergyLp (AffineExpression x_size, const util_intops::StrongVector< IntegerVariable, double > &lp_values, Model *model)
std::string	DebugString () const
Public Member Functions inherited from operations_research::sat::BaseEvent
	BaseEvent (int t, SchedulingConstraintHelper *x_helper)

Public Attributes
AffineExpression	y_size
	We need this for linearizing the energy in some cases.
LiteralIndex	presence_literal_index = kNoLiteralIndex
	If set, this event is optional and its presence is controlled by this.
LinearExpression	linearized_energy
double	linearized_energy_lp_value = 0.0
bool	energy_is_quadratic = false
	True if linearized_energy is not exact and a McCormick relaxation.
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

Definition at line 66 of file scheduling_cuts.cc.

Constructor & Destructor Documentation

EnergyEvent()

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

inline

Definition at line 67 of file scheduling_cuts.cc.

Member Function Documentation

DebugString()

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

inline

Definition at line 125 of file scheduling_cuts.cc.

FillEnergyLp()

ABSL_MUST_USE_RESULT bool operations_research::sat::EnergyEvent::FillEnergyLp ( AffineExpression x_size, const util_intops::StrongVector< IntegerVariable, double > & lp_values, Model * model )

inline

This method expects all the other fields to have been filled before. It must be called before the EnergyEvent is used.

Definition at line 101 of file scheduling_cuts.cc.

GetMinOverlap()

IntegerValue operations_research::sat::EnergyEvent::GetMinOverlap ( IntegerValue start, IntegerValue end ) const

inline

Computes the mandatory minimal overlap of the interval with the time window [start, end].

Definition at line 93 of file scheduling_cuts.cc.

IsPresent()

bool operations_research::sat::EnergyEvent::IsPresent ( ) const

inline

The actual value of the presence literal of the interval(s) is checked when the event is created. A value of kNoLiteralIndex indicates that either the interval was not optional, or that its presence literal is true at level zero.

Definition at line 89 of file scheduling_cuts.cc.

Member Data Documentation

energy_is_quadratic

bool operations_research::sat::EnergyEvent::energy_is_quadratic = false

True if linearized_energy is not exact and a McCormick relaxation.

Definition at line 83 of file scheduling_cuts.cc.

linearized_energy

LinearExpression operations_research::sat::EnergyEvent::linearized_energy

A linear expression which is a valid lower bound on the total energy of this event. We also cache the activity of the expression to not recompute it all the time.

Definition at line 79 of file scheduling_cuts.cc.

linearized_energy_lp_value

double operations_research::sat::EnergyEvent::linearized_energy_lp_value = 0.0

Definition at line 80 of file scheduling_cuts.cc.

presence_literal_index

LiteralIndex operations_research::sat::EnergyEvent::presence_literal_index = kNoLiteralIndex

If set, this event is optional and its presence is controlled by this.

Definition at line 74 of file scheduling_cuts.cc.

y_size

AffineExpression operations_research::sat::EnergyEvent::y_size

We need this for linearizing the energy in some cases.

Definition at line 71 of file scheduling_cuts.cc.

---

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

• ortools/sat/scheduling_cuts.cc