operations_research::sat::SchedulingDemandHelper Class Reference

Detailed Description

Definition at line 558 of file scheduling_helpers.h.

#include <scheduling_helpers.h>

Public Member Functions
	SchedulingDemandHelper (absl::Span< const AffineExpression > demands, SchedulingConstraintHelper *helper, Model *model)
IntegerValue	DemandMin (int t) const
IntegerValue	DemandMax (int t) const
IntegerValue	LevelZeroDemandMin (int t) const
bool	DemandIsFixed (int t) const
void	AddDemandMinReason (int t)
void	AddDemandMinReason (int t, IntegerValue min_demand)
const std::vector< AffineExpression > &	Demands () const
ABSL_MUST_USE_RESULT bool	AddLinearizedDemand (int t, LinearConstraintBuilder *builder) const
bool	CacheAllEnergyValues ()
IntegerValue	EnergyMin (int t) const
IntegerValue	EnergyMax (int t) const
bool	EnergyIsQuadratic (int t) const
void	AddEnergyMinReason (int t)
IntegerValue	EnergyMinInWindow (int t, IntegerValue window_start, IntegerValue window_end)
void	AddEnergyMinInWindowReason (int t, IntegerValue window_start, IntegerValue window_end)
ABSL_MUST_USE_RESULT bool	DecreaseEnergyMax (int t, IntegerValue value)
const std::vector< std::vector< LiteralValueValue > > &	DecomposedEnergies () const
void	OverrideDecomposedEnergies (const std::vector< std::vector< LiteralValueValue > > &energies)
std::vector< LiteralValueValue >	FilteredDecomposedEnergy (int index)
void	InitDecomposedEnergies ()

Constructor & Destructor Documentation

SchedulingDemandHelper()

operations_research::sat::SchedulingDemandHelper::SchedulingDemandHelper	(	absl::Span< const AffineExpression >	demands,
		SchedulingConstraintHelper *	helper,
		Model *	model )

Definition at line 861 of file scheduling_helpers.cc.

Member Function Documentation

AddDemandMinReason() [1/2]

void operations_research::sat::SchedulingDemandHelper::AddDemandMinReason

(

int

t

)

Definition at line 1006 of file scheduling_helpers.cc.

AddDemandMinReason() [2/2]

void operations_research::sat::SchedulingDemandHelper::AddDemandMinReason	(	int	t,
		IntegerValue	min_demand )

Definition at line 1014 of file scheduling_helpers.cc.

AddEnergyMinInWindowReason()

void operations_research::sat::SchedulingDemandHelper::AddEnergyMinInWindowReason	(	int	t,
		IntegerValue	window_start,
		IntegerValue	window_end )

Definition at line 1095 of file scheduling_helpers.cc.

AddEnergyMinReason()

void operations_research::sat::SchedulingDemandHelper::AddEnergyMinReason

(

int

t

)

Definition at line 1022 of file scheduling_helpers.cc.

AddLinearizedDemand()

bool operations_research::sat::SchedulingDemandHelper::AddLinearizedDemand	(	int	t,
		LinearConstraintBuilder *	builder ) const

Definition at line 1044 of file scheduling_helpers.cc.

CacheAllEnergyValues()

bool operations_research::sat::SchedulingDemandHelper::CacheAllEnergyValues

(

)

Definition at line 930 of file scheduling_helpers.cc.

DecomposedEnergies()

const std::vector< std::vector< LiteralValueValue > > & operations_research::sat::SchedulingDemandHelper::DecomposedEnergies ( ) const

inline

Definition at line 622 of file scheduling_helpers.h.

DecreaseEnergyMax()

bool operations_research::sat::SchedulingDemandHelper::DecreaseEnergyMax	(	int	t,
		IntegerValue	value )

Definition at line 974 of file scheduling_helpers.cc.

DemandIsFixed()

bool operations_research::sat::SchedulingDemandHelper::DemandIsFixed

(

int

t

)

const

Definition at line 970 of file scheduling_helpers.cc.

DemandMax()

IntegerValue operations_research::sat::SchedulingDemandHelper::DemandMax

(

int

t

)

const

Definition at line 965 of file scheduling_helpers.cc.

DemandMin()

IntegerValue operations_research::sat::SchedulingDemandHelper::DemandMin

(

int

t

)

const

Definition at line 960 of file scheduling_helpers.cc.

Demands()

const std::vector< AffineExpression > & operations_research::sat::SchedulingDemandHelper::Demands ( ) const

inline

Definition at line 576 of file scheduling_helpers.h.

EnergyIsQuadratic()

bool operations_research::sat::SchedulingDemandHelper::EnergyIsQuadratic ( int t ) const

inline

Definition at line 603 of file scheduling_helpers.h.

EnergyMax()

IntegerValue operations_research::sat::SchedulingDemandHelper::EnergyMax ( int t ) const

inline

Definition at line 602 of file scheduling_helpers.h.

EnergyMin()

IntegerValue operations_research::sat::SchedulingDemandHelper::EnergyMin ( int t ) const

inline

Definition at line 601 of file scheduling_helpers.h.

EnergyMinInWindow()

IntegerValue operations_research::sat::SchedulingDemandHelper::EnergyMinInWindow	(	int	t,
		IntegerValue	window_start,
		IntegerValue	window_end )

Definition at line 1085 of file scheduling_helpers.cc.

FilteredDecomposedEnergy()

std::vector< LiteralValueValue > operations_research::sat::SchedulingDemandHelper::FilteredDecomposedEnergy

(

int

index

)

Definition at line 1062 of file scheduling_helpers.cc.

InitDecomposedEnergies()

void operations_research::sat::SchedulingDemandHelper::InitDecomposedEnergies

(

)

Definition at line 881 of file scheduling_helpers.cc.

LevelZeroDemandMin()

IntegerValue operations_research::sat::SchedulingDemandHelper::LevelZeroDemandMin ( int t ) const

inline

Definition at line 570 of file scheduling_helpers.h.

OverrideDecomposedEnergies()

void operations_research::sat::SchedulingDemandHelper::OverrideDecomposedEnergies

(

const std::vector< std::vector< LiteralValueValue > > &

energies

)

Definition at line 1079 of file scheduling_helpers.cc.

---

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

• ortools/sat/scheduling_helpers.h
• ortools/sat/scheduling_helpers.cc