Generated on Sat Feb 7 2015 02:01:44 for Gecode by doxygen 1.8.9.1
Gecode::Int::FwdToBwd< TaskView > Class Template Reference

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

#include <task.hh>

Value access

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

Value update

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

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: