Generated on Fri Oct 19 11:26:03 2018 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 102 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 41 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 46 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 51 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 56 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 61 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 66 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 72 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 77 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 82 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 87 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 92 of file fwd-to-bwd.hpp.


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