Generated on Fri Oct 19 11:26:02 2018 for Gecode by doxygen 1.6.3

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: