IntervalsRepository

Detailed Description

Definition at line 45 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

Constructor & Destructor Documentation

IntervalsRepository()

IntervalsRepository ( Model *  model )

inlineexplicit

Definition at line 47 of file intervals.h.

Member Function Documentation

AllIntervals()

std::vector< IntervalVariable > AllIntervals ( ) const

inline

Definition at line 130 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 36 of file intervals.cc.

CreateInterval() [2/2]

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

Definition at line 24 of file intervals.cc.

End()

AffineExpression End ( IntervalVariable  i ) const

inline

Definition at line 94 of file intervals.h.

EndVar()

IntegerVariable EndVar ( IntervalVariable  i ) const

inline

Definition at line 111 of file intervals.h.

IsAbsent()

bool IsAbsent ( IntervalVariable  i ) const

inline

Definition at line 80 of file intervals.h.

IsOptional()

bool IsOptional ( IntervalVariable  i ) const

inline

Definition at line 70 of file intervals.h.

IsPresent()

bool IsPresent ( IntervalVariable  i ) const

inline

Definition at line 76 of file intervals.h.

MaxSize()

IntegerValue MaxSize ( IntervalVariable  i ) const

inline

Definition at line 125 of file intervals.h.

MinSize()

IntegerValue MinSize ( IntervalVariable  i ) const

inline

Definition at line 120 of file intervals.h.

NumIntervals()

int NumIntervals ( ) const

inline

Definition at line 54 of file intervals.h.

PresenceLiteral()

Literal PresenceLiteral ( IntervalVariable  i ) const

inline

Definition at line 73 of file intervals.h.

Size()

AffineExpression Size ( IntervalVariable  i ) const

inline

Definition at line 92 of file intervals.h.

SizeVar()

IntegerVariable SizeVar ( IntervalVariable  i ) const

inline

Definition at line 97 of file intervals.h.

Start()

AffineExpression Start ( IntervalVariable  i ) const

inline

Definition at line 93 of file intervals.h.

StartVar()

IntegerVariable StartVar ( IntervalVariable  i ) const

inline

Definition at line 104 of file intervals.h.

---

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

• intervals.h
• intervals.cc