Generated on Fri Aug 31 2012 16:23:15 for Gecode by doxygen 1.8.1.2
Gecode::Int::Unary::OptProp< OptTask > Class Template Reference

Scheduling propagator for unary resource with optional tasks More...

#include <unary.hh>

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Perform copying during cloning.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
- Public Member Functions inherited from Gecode::Int::TaskProp< OptTask, Int::PC_INT_BND >
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as high linear)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.
- Public Member Functions inherited from Gecode::Propagator
ModEventDelta modeventdelta (void) const
 Return the modification event delta.
virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Advise function.
double afc (void) const
 Return the accumlated failure count.

Static Public Member Functions

static ExecStatus post (Home home, TaskArray< OptTask > &t)
 Post propagator that schedules tasks on unary resource.

Protected Member Functions

 OptProp (Home home, TaskArray< OptTask > &t)
 Constructor for creation.
 OptProp (Space &home, bool shared, OptProp &p)
 Constructor for cloning p.
- Protected Member Functions inherited from Gecode::Int::TaskProp< OptTask, Int::PC_INT_BND >
 TaskProp (Home home, TaskArray< OptTask > &t)
 Constructor for creation.
 TaskProp (Space &home, bool shared, TaskProp< OptTask, pc > &p)
 Constructor for cloning p.
- Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting.
 Propagator (Space &home, bool share, Propagator &p)
 Constructor for cloning p.

Additional Inherited Members

- Protected Attributes inherited from Gecode::Int::TaskProp< OptTask, Int::PC_INT_BND >
TaskArray< OptTask > t
 Tasks.

Detailed Description

template<class OptTask>
class Gecode::Int::Unary::OptProp< OptTask >

Scheduling propagator for unary resource with optional tasks

Requires

Definition at line 810 of file unary.hh.

Constructor & Destructor Documentation

template<class OptTask >
Gecode::Int::Unary::OptProp< OptTask >::OptProp ( Home  home,
TaskArray< OptTask > &  t 
)
inlineprotected

Constructor for creation.

Definition at line 44 of file opt-prop.hpp.

template<class OptTask >
Gecode::Int::Unary::OptProp< OptTask >::OptProp ( Space home,
bool  shared,
OptProp< OptTask > &  p 
)
inlineprotected

Constructor for cloning p.

Definition at line 49 of file opt-prop.hpp.

Member Function Documentation

template<class OptTask >
Actor * Gecode::Int::Unary::OptProp< OptTask >::copy ( Space home,
bool  share 
)
virtual

Perform copying during cloning.

Implements Gecode::Actor.

Definition at line 75 of file opt-prop.hpp.

template<class OptTask >
ExecStatus Gecode::Int::Unary::OptProp< OptTask >::propagate ( Space home,
const ModEventDelta med 
)
virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 81 of file opt-prop.hpp.

template<class OptTask >
ExecStatus Gecode::Int::Unary::OptProp< OptTask >::post ( Home  home,
TaskArray< OptTask > &  t 
)
inlinestatic

Post propagator that schedules tasks on unary resource.

Definition at line 54 of file opt-prop.hpp.


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