Generated on Mon Nov 30 23:53:54 2009 for Gecode by doxygen 1.6.1

Gecode::Scheduling::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.

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.

Detailed Description

template<class TaskView>
class Gecode::Scheduling::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::Scheduling::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::Scheduling::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::Scheduling::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::Scheduling::FwdToBwd< TaskView >::lct ( void   )  const [inline]

Return latest completion time.

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

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

Update earliest start time to n.

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

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

Update earliest completion time to n.

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

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

Update latest start time to n.

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

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

Update latest completion time to n.

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


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