Generated on Thu Mar 22 10:39:55 2012 for Gecode by doxygen 1.6.3

Gecode::Int::FwdToBwd< TaskView > Class Template Reference

Task mapper: turns a task view into its dual. More...

#include <task.hh>

List of all members.

Value access



int est (void) const
 Return earliest start time.
int ect (void) const
 Return earliest completion time.
int lst (void) const
 Return latest start time.
int lct (void) const
 Return latest completion time.
int pmin (void) const
 Return minimum processing time.
int pmax (void) const
 Return maximum processing time.

Value update



ModEvent est (Space &home, int n)
 Update earliest start time to n.
ModEvent ect (Space &home, int n)
 Update earliest completion time to n.
ModEvent lst (Space &home, int n)
 Update latest start time to n.
ModEvent lct (Space &home, int n)
 Update latest completion time to n.
ModEvent norun (Space &home, int e, int l)
 Update such that task cannot run from e to l.

Detailed Description

template<class TaskView>
class Gecode::Int::FwdToBwd< TaskView >

Task mapper: turns a task view into its dual.

Definition at line 104 of file task.hh.


Member Function Documentation

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::est ( void   )  const [inline]

Return earliest start time.

Definition at line 45 of file fwd-to-bwd.hpp.

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::ect ( void   )  const [inline]

Return earliest completion time.

Definition at line 50 of file fwd-to-bwd.hpp.

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::lst ( void   )  const [inline]

Return latest start time.

Definition at line 55 of file fwd-to-bwd.hpp.

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::lct ( void   )  const [inline]

Return latest completion time.

Definition at line 60 of file fwd-to-bwd.hpp.

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::pmin ( void   )  const [inline]

Return minimum processing time.

Definition at line 65 of file fwd-to-bwd.hpp.

template<class TaskView >
int Gecode::Int::FwdToBwd< TaskView >::pmax ( void   )  const [inline]

Return maximum processing time.

Definition at line 70 of file fwd-to-bwd.hpp.

template<class TaskView >
ModEvent Gecode::Int::FwdToBwd< TaskView >::est ( Space home,
int  n 
) [inline]

Update earliest start time to n.

Definition at line 76 of file fwd-to-bwd.hpp.

template<class TaskView >
ModEvent Gecode::Int::FwdToBwd< TaskView >::ect ( Space home,
int  n 
) [inline]

Update earliest completion time to n.

Definition at line 81 of file fwd-to-bwd.hpp.

template<class TaskView >
ModEvent Gecode::Int::FwdToBwd< TaskView >::lst ( Space home,
int  n 
) [inline]

Update latest start time to n.

Definition at line 86 of file fwd-to-bwd.hpp.

template<class TaskView >
ModEvent Gecode::Int::FwdToBwd< TaskView >::lct ( Space home,
int  n 
) [inline]

Update latest completion time to n.

Definition at line 91 of file fwd-to-bwd.hpp.

template<class TaskView >
ModEvent Gecode::Int::FwdToBwd< TaskView >::norun ( Space home,
int  e,
int  l 
) [inline]

Update such that task cannot run from e to l.

Definition at line 96 of file fwd-to-bwd.hpp.


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