Generated on Thu Apr 11 14:00:07 2019 for Gecode by doxygen 1.6.3

Gecode::Kernel::GPI Class Reference

Global propagator information. More...

#include <gpi.hpp>

List of all members.

Classes

class  Info
 Class for storing propagator information. More...

Public Member Functions

 GPI (void)
 Initialize.
void decay (double d)
 Set decay factor to d.
double decay (void) const
 Return decay factor.
void fail (Info &c)
 Increment failure count.
Infoallocate (unsigned int p, unsigned int gid)
 Allocate info for existing propagator with pid p.
Infoallocate (unsigned int gid)
 Allocate new actor info.
unsigned int pid (void) const
 Return next free propagator id.
bool unshare (void)
 Provide access to unshare info and set to true.
 ~GPI (void)
 Delete.

Detailed Description

Global propagator information.

Definition at line 39 of file gpi.hpp.


Constructor & Destructor Documentation

Gecode::Kernel::GPI::GPI ( void   )  [inline]

Initialize.

Definition at line 122 of file gpi.hpp.

Gecode::Kernel::GPI::~GPI ( void   )  [inline]

Delete.

Definition at line 198 of file gpi.hpp.


Member Function Documentation

void Gecode::Kernel::GPI::decay ( double  d  )  [inline]

Set decay factor to d.

Definition at line 163 of file gpi.hpp.

double Gecode::Kernel::GPI::decay ( void   )  const [inline]

Return decay factor.

Definition at line 136 of file gpi.hpp.

void Gecode::Kernel::GPI::fail ( Info c  )  [inline]

Increment failure count.

Definition at line 126 of file gpi.hpp.

GPI::Info * Gecode::Kernel::GPI::allocate ( unsigned int  p,
unsigned int  gid 
) [inline]

Allocate info for existing propagator with pid p.

Definition at line 170 of file gpi.hpp.

GPI::Info * Gecode::Kernel::GPI::allocate ( unsigned int  gid  )  [inline]

Allocate new actor info.

Definition at line 184 of file gpi.hpp.

unsigned int Gecode::Kernel::GPI::pid ( void   )  const [inline]

Return next free propagator id.

Definition at line 145 of file gpi.hpp.

bool Gecode::Kernel::GPI::unshare ( void   )  [inline]

Provide access to unshare info and set to true.

Definition at line 154 of file gpi.hpp.


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