Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::Unary::ManFixPSETask Class Reference

Unary (mandatory) task with fixed processing, start or end time More...

#include <unary.hh>

Protected Attributes

TaskType _t
 Task type.
Protected Attributes inherited from Gecode::Int::Unary::ManFixPTask
Int::IntView _s
 Start time.
int _p
 Processing time.

Constructors and initialization

 ManFixPSETask (void)
 Default constructor.
 ManFixPSETask (TaskType t, IntVar s, int p)
 Initialize task.
void init (TaskType t, IntVar s, int p)
 Initialize task.
void init (const ManFixPSETask &t)
 Initialize from task t.

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.

Cloning

void update (Space &home, ManFixPSETask &t)
 Update this task to be a clone of task t.

Additional Inherited Members

 ManFixPTask (void)
 Default constructor.
 ManFixPTask (IntVar s, int p)
 Initialize with start time s and processing time p.
void init (IntVar s, int p)
 Initialize with start time s and processing time p.
void init (const ManFixPTask &t)
 Initialize from task t.
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.
IntVar st (void) const
 Return start time.
bool mandatory (void) const
 Whether task is mandatory.
bool excluded (void) const
 Whether task is excluded.
bool optional (void) const
 Whether task can still be optional.
bool assigned (void) const
 Test whether task is assigned.
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.
ModEvent mandatory (Space &home)
 Mark task as mandatory.
ModEvent excluded (Space &home)
 Mark task as excluded.
void update (Space &home, ManFixPTask &t)
 Update this task to be a clone of task t.
void subscribe (Space &home, Propagator &p, PropCond pc)
 Subscribe propagator p to task.
void cancel (Space &home, Propagator &p, PropCond pc)
 Cancel subscription of propagator p for task.
void reschedule (Space &home, Propagator &p, PropCond pc)
 Schedule propagator p.

Detailed Description

Unary (mandatory) task with fixed processing, start or end time

Definition at line 148 of file unary.hh.

Constructor & Destructor Documentation

◆ ManFixPSETask() [1/2]

ManFixPSETask::ManFixPSETask ( void )
inline

Default constructor.

Definition at line 170 of file task.hpp.

◆ ManFixPSETask() [2/2]

ManFixPSETask::ManFixPSETask ( TaskType t,
IntVar s,
int p )
inline

Initialize task.

Depending on t, s is either the end time (if t is TT_FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 172 of file task.hpp.

Member Function Documentation

◆ init() [1/2]

void ManFixPSETask::init ( TaskType t,
IntVar s,
int p )
inline

Initialize task.

Depending on t, s is either the end time (if t is FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 175 of file task.hpp.

◆ init() [2/2]

void ManFixPSETask::init ( const ManFixPSETask & t)
inline

Initialize from task t.

Definition at line 179 of file task.hpp.

◆ est() [1/2]

int ManFixPSETask::est ( void ) const
inline

Return earliest start time.

Definition at line 184 of file task.hpp.

◆ ect() [1/2]

int ManFixPSETask::ect ( void ) const
inline

Return earliest completion time.

Definition at line 188 of file task.hpp.

◆ lst() [1/2]

int ManFixPSETask::lst ( void ) const
inline

Return latest start time.

Definition at line 198 of file task.hpp.

◆ lct() [1/2]

int ManFixPSETask::lct ( void ) const
inline

Return latest completion time.

Definition at line 202 of file task.hpp.

◆ pmin()

int ManFixPSETask::pmin ( void ) const
inline

Return minimum processing time.

Definition at line 212 of file task.hpp.

◆ pmax()

int ManFixPSETask::pmax ( void ) const
inline

Return maximum processing time.

Definition at line 222 of file task.hpp.

◆ est() [2/2]

ModEvent ManFixPSETask::est ( Space & home,
int n )
inline

Update earliest start time to n.

Definition at line 233 of file task.hpp.

◆ ect() [2/2]

ModEvent ManFixPSETask::ect ( Space & home,
int n )
inline

Update earliest completion time to n.

Definition at line 243 of file task.hpp.

◆ lst() [2/2]

ModEvent ManFixPSETask::lst ( Space & home,
int n )
inline

Update latest start time to n.

Definition at line 253 of file task.hpp.

◆ lct() [2/2]

ModEvent ManFixPSETask::lct ( Space & home,
int n )
inline

Update latest completion time to n.

Definition at line 263 of file task.hpp.

◆ norun()

ModEvent ManFixPSETask::norun ( Space & home,
int e,
int l )
inline

Update such that task cannot run from e to l.

Definition at line 273 of file task.hpp.

◆ update()

void ManFixPSETask::update ( Space & home,
ManFixPSETask & t )
inline

Update this task to be a clone of task t.

Definition at line 299 of file task.hpp.

Member Data Documentation

◆ _t

TaskType Gecode::Int::Unary::ManFixPSETask::_t
protected

Task type.

Definition at line 151 of file unary.hh.


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