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.
long long int	e (void) const
	Return required energy.
Cloning
void	update (Space &home, ManFlexTask &t)
	Update this task to be a clone of task t.

---

Detailed Description

Cumulative (mandatory) task with flexible processing time.

Definition at line 166 of file cumulative.hh.

---

Constructor & Destructor Documentation

ManFlexTask::ManFlexTask

(

void

)

[inline]

Default constructor.

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

Definition at line 125 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 127 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 130 of file task.hpp.

void ManFlexTask::init

(

const ManFlexTask &

t

)

[inline]

Initialize from task t.

Definition at line 134 of file task.hpp.

int ManFlexTask::c

(

void

)

const [inline]

Return required capacity.

Definition at line 139 of file task.hpp.

long long int ManFlexTask::e

(

void

)

const [inline]

Return required energy.

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

Definition at line 143 of file task.hpp.

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

Update this task to be a clone of task t.

Definition at line 148 of file task.hpp.

---

Member Data Documentation

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

Required capacity.

Definition at line 169 of file cumulative.hh.

---

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

• gecode/int/cumulative.hh
• gecode/int/cumulative/task.hpp