Generated on Sat Aug 25 2012 15:53:10 for Gecode by doxygen 1.7.5
Gecode::Int::ManToOptTask Class 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, bool share, 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.

Detailed Description

Class to define an optional from a mandatory task.


Constructor & Destructor Documentation

Gecode::Int::ManToOptTask::ManToOptTask ( void  ) [inline]

Default constructor.

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


Member Function Documentation

bool Gecode::Int::ManToOptTask::mandatory ( void  ) const [inline]

Whether task is mandatory.

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

bool Gecode::Int::ManToOptTask::excluded ( void  ) const [inline]

Whether task is excluded.

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

bool Gecode::Int::ManToOptTask::optional ( void  ) const [inline]

Whether task can still be optional.

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

bool Gecode::Int::ManToOptTask::assigned ( void  ) const [inline]

Test whether task is assigned.

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

ModEvent Gecode::Int::ManToOptTask::mandatory ( Space home) [inline]

Mark task as mandatory.

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

ModEvent Gecode::Int::ManToOptTask::excluded ( Space home) [inline]

Mark task as excluded.

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

void Gecode::Int::ManToOptTask::update ( Space home,
bool  share,
ManToOptTask t 
)

Update this task to be a clone of task t.

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

Subscribe propagator p to task.

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

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

Cancel subscription of propagator p for task.

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


Member Data Documentation

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

Definition at line 50 of file task.hh.


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