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

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

`#include <task.hh>`

## 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

## ManToOptTask()

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

## mandatory() [1/2]

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.

## excluded() [1/2]

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.

## optional()

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.

## assigned()

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.

## mandatory() [2/2]

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.

## excluded() [2/2]

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.

## update()

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.

## subscribe()

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.

## cancel()

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.

## reschedule()

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

## _m

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