Gecode::Int::Cumulative::ManFlexTask Class Reference

Cumulative (mandatory) task with flexible processing time. More...

#include <cumulative.hh>

List of all members.

Protected Attributes
int	_c
	Required capacity.
Constructors and initialization
	ManFlexTask (void)
	Default constructor.
	ManFlexTask (IntVar s, IntVar p, IntVar e, int c)
	Initialize with start time s, processing time p, end time e.
void	init (IntVar s, IntVar p, IntVar e, int c)
	Initialize with start time s, processing time p, end time e.
void	init (const ManFlexTask &t)
	Initialize from task t.
Value access
int	c (void) const
	Return required capacity.
double	e (void) const
	Return required energy.
Cloning
void	update (Space &home, bool share, ManFlexTask &t)
	Update this task to be a clone of task t.

---

Detailed Description

Cumulative (mandatory) task with flexible processing time.

Definition at line 158 of file cumulative.hh.

---

Constructor & Destructor Documentation

ManFlexTask::ManFlexTask

(

void

)

[inline]

Default constructor.

Reimplemented from Gecode::Int::Unary::ManFlexTask.

Definition at line 129 of file task.hpp.

ManFlexTask::ManFlexTask	(	IntVar	s,
		IntVar	p,
		IntVar	e,
		int	c
	)			[inline]

Initialize with start time s, processing time p, end time e.

Definition at line 131 of file task.hpp.

---

Member Function Documentation

void ManFlexTask::init	(	IntVar	s,
		IntVar	p,
		IntVar	e,
		int	c
	)			[inline]

Initialize with start time s, processing time p, end time e.

Definition at line 134 of file task.hpp.

void ManFlexTask::init

(

const ManFlexTask &

t

)

[inline]

Initialize from task t.

Definition at line 138 of file task.hpp.

int ManFlexTask::c

(

void

)

const [inline]

Return required capacity.

Definition at line 143 of file task.hpp.

double ManFlexTask::e

(

void

)

const [inline]

Return required energy.

Reimplemented from Gecode::Int::Unary::ManFlexTask.

Definition at line 147 of file task.hpp.

void ManFlexTask::update	(	Space &	home,
		bool	share,
		ManFlexTask &	t
	)			[inline]

Update this task to be a clone of task t.

Definition at line 152 of file task.hpp.

---

Member Data Documentation

int Gecode::Int::Cumulative::ManFlexTask::_c [protected]

Required capacity.

Definition at line 161 of file cumulative.hh.

---

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

• gecode/int/cumulative.hh (Revision: 12181)
• gecode/int/cumulative/task.hpp (Revision: 12181)