IntervalsRepository

Detailed Description

Definition at line 52 of file intervals.h.

Public Member Functions
	IntervalsRepository (Model *model)
int	NumIntervals () const
IntervalVariable	CreateInterval (IntegerVariable start, IntegerVariable end, IntegerVariable size, IntegerValue fixed_size, LiteralIndex is_present)
IntervalVariable	CreateInterval (AffineExpression start, AffineExpression end, AffineExpression size, LiteralIndex is_present, bool add_linear_relation)
bool	IsOptional (IntervalVariable i) const
Literal	PresenceLiteral (IntervalVariable i) const
bool	IsPresent (IntervalVariable i) const
bool	IsAbsent (IntervalVariable i) const
AffineExpression	Size (IntervalVariable i) const
AffineExpression	Start (IntervalVariable i) const
AffineExpression	End (IntervalVariable i) const
IntegerVariable	SizeVar (IntervalVariable i) const
IntegerVariable	StartVar (IntervalVariable i) const
IntegerVariable	EndVar (IntervalVariable i) const
IntegerValue	MinSize (IntervalVariable i) const
IntegerValue	MaxSize (IntervalVariable i) const
std::vector< IntervalVariable >	AllIntervals () const
SchedulingConstraintHelper *	GetOrCreateHelper (const std::vector< IntervalVariable > &variables)

Constructor & Destructor Documentation

IntervalsRepository()

IntervalsRepository ( Model *  model )

inlineexplicit

Definition at line 54 of file intervals.h.

Member Function Documentation

AllIntervals()

std::vector<IntervalVariable> AllIntervals ( ) const

inline

Definition at line 137 of file intervals.h.

CreateInterval() [1/2]

IntervalVariable CreateInterval	(	AffineExpression	start,
		AffineExpression	end,
		AffineExpression	size,
		LiteralIndex	is_present,
		bool	add_linear_relation
	)

Definition at line 51 of file intervals.cc.

CreateInterval() [2/2]

IntervalVariable CreateInterval	(	IntegerVariable	start,
		IntegerVariable	end,
		IntegerVariable	size,
		IntegerValue	fixed_size,
		LiteralIndex	is_present
	)

Definition at line 39 of file intervals.cc.

End()

AffineExpression End ( IntervalVariable  i ) const

inline

Definition at line 101 of file intervals.h.

EndVar()

IntegerVariable EndVar ( IntervalVariable  i ) const

inline

Definition at line 118 of file intervals.h.

GetOrCreateHelper()

SchedulingConstraintHelper * GetOrCreateHelper

(

const std::vector< IntervalVariable > &

variables

)

Definition at line 116 of file intervals.cc.

IsAbsent()

bool IsAbsent ( IntervalVariable  i ) const

inline

Definition at line 87 of file intervals.h.

IsOptional()

bool IsOptional ( IntervalVariable  i ) const

inline

Definition at line 77 of file intervals.h.

IsPresent()

bool IsPresent ( IntervalVariable  i ) const

inline

Definition at line 83 of file intervals.h.

MaxSize()

IntegerValue MaxSize ( IntervalVariable  i ) const

inline

Definition at line 132 of file intervals.h.

MinSize()

IntegerValue MinSize ( IntervalVariable  i ) const

inline

Definition at line 127 of file intervals.h.

NumIntervals()

int NumIntervals ( ) const

inline

Definition at line 61 of file intervals.h.

PresenceLiteral()

Literal PresenceLiteral ( IntervalVariable  i ) const

inline

Definition at line 80 of file intervals.h.

Size()

AffineExpression Size ( IntervalVariable  i ) const

inline

Definition at line 99 of file intervals.h.

SizeVar()

IntegerVariable SizeVar ( IntervalVariable  i ) const

inline

Definition at line 104 of file intervals.h.

Start()

AffineExpression Start ( IntervalVariable  i ) const

inline

Definition at line 100 of file intervals.h.

StartVar()

IntegerVariable StartVar ( IntervalVariable  i ) const

inline

Definition at line 111 of file intervals.h.

---

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

• intervals.h
• intervals.cc