Generated on Thu Mar 13 2014 04:39:48 for Gecode by doxygen 1.8.1.2
Gecode::Int::NoOverlap::OptProp< Dim, d > Class Template Reference

No-overlap propagator for optional boxes. More...

#include <no-overlap.hh>

Public Member Functions

virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual Actorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual size_t dispose (Space &home)
 Destructor.
- Public Member Functions inherited from Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function.
- 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, OptBox< Dim, d > *b, int n)
 Post propagator for boxes b.

Protected Member Functions

 OptProp (Home home, OptBox< Dim, d > *b, int n, int m)
 Constructor for posting.
 OptProp (Space &home, bool share, OptProp< Dim, d > &p)
 Constructor for cloning p.
- Protected Member Functions inherited from Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >
 Base (Home home, OptBox< Dim, d > *b, int n)
 Constructor for posting with n mandatory boxes.
 Base (Space &home, bool share, Base< OptBox< Dim, d > > &p, int m)
 Constructor for cloning p with m boxes.
- Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting.
 Propagator (Space &home, bool share, Propagator &p)
 Constructor for cloning p.

Protected Attributes

int m
 Number of optional boxes: b[n] ... b[n+m-1].
- Protected Attributes inherited from Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >
OptBox< Dim, d > * b
 Boxes.
int n
 Number of mandatory boxes: b[0] ... b[n-1].

Additional Inherited Members

- Static Protected Member Functions inherited from Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >
static int partition (OptBox< Dim, d > *b, int i, int n)
 Partition n boxes b starting at position i.

Detailed Description

template<class Dim, int d>
class Gecode::Int::NoOverlap::OptProp< Dim, d >

No-overlap propagator for optional boxes.

Requires

Definition at line 288 of file no-overlap.hh.

Constructor & Destructor Documentation

template<class Dim , int d>
Gecode::Int::NoOverlap::OptProp< Dim, d >::OptProp ( Home  home,
OptBox< Dim, d > *  b,
int  n,
int  m 
)
inlineprotected

Constructor for posting.

Definition at line 42 of file opt.hpp.

template<class Dim , int d>
Gecode::Int::NoOverlap::OptProp< Dim, d >::OptProp ( Space home,
bool  share,
OptProp< Dim, d > &  p 
)
inlineprotected

Constructor for cloning p.

Definition at line 71 of file opt.hpp.

Member Function Documentation

template<class Dim , int d>
ExecStatus Gecode::Int::NoOverlap::OptProp< Dim, d >::post ( Home  home,
OptBox< Dim, d > *  b,
int  n 
)
static

Post propagator for boxes b.

Definition at line 50 of file opt.hpp.

template<class Dim , int d>
ExecStatus Gecode::Int::NoOverlap::OptProp< Dim, d >::propagate ( Space home,
const ModEventDelta med 
)
virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 82 of file opt.hpp.

template<class Dim , int d>
Actor * Gecode::Int::NoOverlap::OptProp< Dim, d >::copy ( Space home,
bool  share 
)
virtual

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 76 of file opt.hpp.

template<class Dim , int d>
size_t Gecode::Int::NoOverlap::OptProp< Dim, d >::dispose ( Space home)
inlinevirtual

Destructor.

Reimplemented from Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >.

Definition at line 61 of file opt.hpp.

Member Data Documentation

template<class Dim, int d>
int Gecode::Int::NoOverlap::OptProp< Dim, d >::m
protected

Number of optional boxes: b[n] ... b[n+m-1].

Definition at line 293 of file no-overlap.hh.


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