Gecode::Int::ManToOptTask< ManTask > Class Template Reference

Class to define an optional from a mandatory task. More...

#include <task.hh>

List of all members.

Protected Attributes
Int::BoolView	_m
	Boolean view whether task is mandatory (= 1) or not.
Constructors and initialization
	ManToOptTask (void)
	Default constructor.
Value access
bool	mandatory (void) const
	Whether task is mandatory.
bool	excluded (void) const
	Whether task is excluded.
bool	optional (void) const
	Whether task can still be optional.
bool	assigned (void) const
	Test whether task is assigned.
Value update
ModEvent	mandatory (Space &home)
	Mark task as mandatory.
ModEvent	excluded (Space &home)
	Mark task as excluded.
Cloning
void	update (Space &home, ManToOptTask &t)
	Update this task to be a clone of task t.
Dependencies
void	subscribe (Space &home, Propagator &p, PropCond pc)
	Subscribe propagator p to task.
void	cancel (Space &home, Propagator &p, PropCond pc)
	Cancel subscription of propagator p for task.
void	reschedule (Space &home, Propagator &p, PropCond pc)
	Schedule propagator p.

---

Detailed Description

template<class ManTask>
class Gecode::Int::ManToOptTask< ManTask >

Class to define an optional from a mandatory task.

Definition at line 43 of file task.hh.

---

Constructor & Destructor Documentation

template<class ManTask >

Gecode::Int::ManToOptTask< ManTask >::ManToOptTask

(

void

)

[inline]

Default constructor.

Definition at line 38 of file man-to-opt.hpp.

---

Member Function Documentation

template<class ManTask >

bool Gecode::Int::ManToOptTask< ManTask >::mandatory

(

void

)

const [inline]

Whether task is mandatory.

Definition at line 42 of file man-to-opt.hpp.

template<class ManTask >

bool Gecode::Int::ManToOptTask< ManTask >::excluded

(

void

)

const [inline]

Whether task is excluded.

Definition at line 47 of file man-to-opt.hpp.

template<class ManTask >

bool Gecode::Int::ManToOptTask< ManTask >::optional

(

void

)

const [inline]

Whether task can still be optional.

Definition at line 52 of file man-to-opt.hpp.

template<class ManTask >

bool Gecode::Int::ManToOptTask< ManTask >::assigned

(

void

)

const [inline]

Test whether task is assigned.

Definition at line 58 of file man-to-opt.hpp.

template<class ManTask >

ModEvent Gecode::Int::ManToOptTask< ManTask >::mandatory

(

Space &

home

)

[inline]

Mark task as mandatory.

Definition at line 64 of file man-to-opt.hpp.

template<class ManTask >

ModEvent Gecode::Int::ManToOptTask< ManTask >::excluded

(

Space &

home

)

[inline]

Mark task as excluded.

Definition at line 69 of file man-to-opt.hpp.

template<class ManTask >

void Gecode::Int::ManToOptTask< ManTask >::update	(	Space &	home,
		ManToOptTask< ManTask > &	t
	)			[inline]

Update this task to be a clone of task t.

Definition at line 75 of file man-to-opt.hpp.

template<class ManTask >

void Gecode::Int::ManToOptTask< ManTask >::subscribe	(	Space &	home,
		Propagator &	p,
		PropCond	pc
	)			[inline]

Subscribe propagator p to task.

Definition at line 82 of file man-to-opt.hpp.

template<class ManTask >

void Gecode::Int::ManToOptTask< ManTask >::cancel	(	Space &	home,
		Propagator &	p,
		PropCond	pc
	)			[inline]

Cancel subscription of propagator p for task.

Definition at line 88 of file man-to-opt.hpp.

template<class ManTask >

void Gecode::Int::ManToOptTask< ManTask >::reschedule	(	Space &	home,
		Propagator &	p,
		PropCond	pc
	)			[inline]

Schedule propagator p.

Definition at line 95 of file man-to-opt.hpp.

---

Member Data Documentation

template<class ManTask>

Int::BoolView Gecode::Int::ManToOptTask< ManTask >::_m [protected]

Boolean view whether task is mandatory (= 1) or not.

Definition at line 46 of file task.hh.

---

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

• gecode/int/task.hh
• gecode/int/task/man-to-opt.hpp