SchedulingDemandHelper

Detailed Description

Definition at line 507 of file intervals.h.

Public Member Functions
	SchedulingDemandHelper (std::vector< AffineExpression > demands, SchedulingConstraintHelper *helper, Model *model)
IntegerValue	DemandMin (int t) const
IntegerValue	DemandMax (int t) const
bool	DemandIsFixed (int t) const
void	AddDemandMinReason (int t)
const std::vector< AffineExpression > &	Demands () const
ABSL_MUST_USE_RESULT bool	AddLinearizedDemand (int t, LinearConstraintBuilder *builder) const
void	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	OverrideLinearizedEnergies (const std::vector< LinearExpression > &energies)
void	OverrideDecomposedEnergies (const std::vector< std::vector< LiteralValueValue >> &energies)
std::vector< LiteralValueValue >	FilteredDecomposedEnergy (int index)

Constructor & Destructor Documentation

SchedulingDemandHelper()

SchedulingDemandHelper	(	std::vector< AffineExpression >	demands,
		SchedulingConstraintHelper *	helper,
		Model *	model
	)

Definition at line 678 of file intervals.cc.

Member Function Documentation

AddDemandMinReason()

void AddDemandMinReason

(

int

t

)

Definition at line 822 of file intervals.cc.

AddEnergyMinInWindowReason()

void AddEnergyMinInWindowReason	(	int	t,
		IntegerValue	window_start,
		IntegerValue	window_end
	)

Definition at line 924 of file intervals.cc.

AddEnergyMinReason()

void AddEnergyMinReason

(

int

t

)

Definition at line 830 of file intervals.cc.

AddLinearizedDemand()

bool AddLinearizedDemand	(	int	t,
		LinearConstraintBuilder *	builder
	)		const

Definition at line 858 of file intervals.cc.

CacheAllEnergyValues()

void CacheAllEnergyValues

(

)

Definition at line 750 of file intervals.cc.

DecomposedEnergies()

const std::vector<std::vector<LiteralValueValue> >& DecomposedEnergies ( ) const

inline

Definition at line 565 of file intervals.h.

DecreaseEnergyMax()

bool DecreaseEnergyMax	(	int	t,
		IntegerValue	value
	)

Definition at line 792 of file intervals.cc.

DemandIsFixed()

bool DemandIsFixed

(

int

t

)

const

Definition at line 788 of file intervals.cc.

DemandMax()

IntegerValue DemandMax

(

int

t

)

const

Definition at line 783 of file intervals.cc.

DemandMin()

IntegerValue DemandMin

(

int

t

)

const

Definition at line 778 of file intervals.cc.

Demands()

const std::vector<AffineExpression>& Demands ( ) const

inline

Definition at line 521 of file intervals.h.

EnergyIsQuadratic()

bool EnergyIsQuadratic ( int  t ) const

inline

Definition at line 546 of file intervals.h.

EnergyMax()

IntegerValue EnergyMax ( int  t ) const

inline

Definition at line 545 of file intervals.h.

EnergyMin()

IntegerValue EnergyMin ( int  t ) const

inline

Definition at line 544 of file intervals.h.

EnergyMinInWindow()

IntegerValue EnergyMinInWindow	(	int	t,
		IntegerValue	window_start,
		IntegerValue	window_end
	)

Definition at line 914 of file intervals.cc.

FilteredDecomposedEnergy()

std::vector< LiteralValueValue > FilteredDecomposedEnergy

(

int

index

)

Definition at line 891 of file intervals.cc.

OverrideDecomposedEnergies()

void OverrideDecomposedEnergies

(

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

energies

)

Definition at line 908 of file intervals.cc.

OverrideLinearizedEnergies()

void OverrideLinearizedEnergies

(

const std::vector< LinearExpression > &

energies

)

Definition at line 876 of file intervals.cc.

---

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

• intervals.h
• intervals.cc