Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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.
 
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

◆ est() [1/2]

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.

◆ ect() [1/2]

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.

◆ lst() [1/2]

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.

◆ lct() [1/2]

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.

◆ pmin()

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.

◆ pmax()

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.

◆ est() [2/2]

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.

◆ ect() [2/2]

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.

◆ lst() [2/2]

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.

◆ lct() [2/2]

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.

◆ norun()

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: