operations_research::sat::EnergyEvent Struct Reference

Detailed Description

Definition at line 131 of file scheduling_cuts.cc.

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 size, const util_intops::StrongVector< IntegerVariable, double > &lp_values, Model *model)
std::string	DebugString () const

Public Attributes
IntegerValue	start_min
IntegerValue	start_max
IntegerValue	end_min
IntegerValue	end_max
IntegerValue	size_min
IntegerValue	demand_min
IntegerValue	energy_min
std::vector< LiteralValueValue >	decomposed_energy
bool	use_decomposed_energy = false
AffineExpression	demand
LiteralIndex	presence_literal_index = kNoLiteralIndex
LinearExpression	linearized_energy
double	linearized_energy_lp_value = 0.0
bool	energy_is_quadratic = false

Constructor & Destructor Documentation

EnergyEvent()

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

inline

Definition at line 132 of file scheduling_cuts.cc.

Member Function Documentation

DebugString()

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

inline

Definition at line 212 of file scheduling_cuts.cc.

FillEnergyLp()

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

inline

Definition at line 188 of file scheduling_cuts.cc.

GetMinOverlap()

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

inline

Definition at line 180 of file scheduling_cuts.cc.

IsPresent()

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

inline

Definition at line 176 of file scheduling_cuts.cc.

Member Data Documentation

decomposed_energy

std::vector<LiteralValueValue> operations_research::sat::EnergyEvent::decomposed_energy

Definition at line 154 of file scheduling_cuts.cc.

demand

AffineExpression operations_research::sat::EnergyEvent::demand

Definition at line 158 of file scheduling_cuts.cc.

demand_min

IntegerValue operations_research::sat::EnergyEvent::demand_min

Definition at line 147 of file scheduling_cuts.cc.

end_max

IntegerValue operations_research::sat::EnergyEvent::end_max

Definition at line 143 of file scheduling_cuts.cc.

end_min

IntegerValue operations_research::sat::EnergyEvent::end_min

Definition at line 142 of file scheduling_cuts.cc.

energy_is_quadratic

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

Definition at line 170 of file scheduling_cuts.cc.

energy_min

IntegerValue operations_research::sat::EnergyEvent::energy_min

Definition at line 150 of file scheduling_cuts.cc.

linearized_energy

LinearExpression operations_research::sat::EnergyEvent::linearized_energy

Definition at line 166 of file scheduling_cuts.cc.

linearized_energy_lp_value

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

Definition at line 167 of file scheduling_cuts.cc.

presence_literal_index

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

Definition at line 161 of file scheduling_cuts.cc.

size_min

IntegerValue operations_research::sat::EnergyEvent::size_min

Definition at line 144 of file scheduling_cuts.cc.

start_max

IntegerValue operations_research::sat::EnergyEvent::start_max

Definition at line 141 of file scheduling_cuts.cc.

start_min

IntegerValue operations_research::sat::EnergyEvent::start_min

Definition at line 140 of file scheduling_cuts.cc.

use_decomposed_energy

bool operations_research::sat::EnergyEvent::use_decomposed_energy = false

Definition at line 155 of file scheduling_cuts.cc.

---

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

• ortools/sat/scheduling_cuts.cc