Generated on Mon Aug 25 11:35:53 2008 for Gecode by doxygen 1.5.6

Gecode::Search::ProbeEngine Class Reference

#include <search.hh>

Inherits Gecode::Search::EngineCtrl.

List of all members.


Detailed Description

Probing engine for LDS.

Definition at line 468 of file search.hh.


Public Member Functions

 ProbeEngine (Stop *st, size_t s)
 Initialize for spaces of size s.
void init (Space *s, unsigned int d)
 Initialize with space s and discrepancy d.
void reset (Space *s, unsigned int d)
 Reset with space s and discrepancy d.
size_t stacksize (void) const
 Return stack size used by engine.
 ~ProbeEngine (void)
 Destructor.
Spaceexplore (void)
 Search for next solution
bool done (void) const
 Test whether probing is done.

Protected Attributes

Support::DynamicStack< ProbeNodeds
 Stack storing current path in search tree
Spacecur
 Current space.
unsigned int d
 Current discrepancy.
bool exhausted
 Whether entire search space has been exhausted.

Classes

class  ProbeNode
 Node in the search tree for LDS More...

Constructor & Destructor Documentation

Gecode::Search::ProbeEngine::ProbeEngine ( Stop st,
size_t  s 
) [inline]

Initialize for spaces of size s.

Definition at line 85 of file lds.cc.

Gecode::Search::ProbeEngine::~ProbeEngine ( void   )  [inline]

Destructor.

Definition at line 116 of file lds.cc.


Member Function Documentation

void Gecode::Search::ProbeEngine::init ( Space s,
unsigned int  d 
) [inline]

Initialize with space s and discrepancy d.

Definition at line 89 of file lds.cc.

void Gecode::Search::ProbeEngine::reset ( Space s,
unsigned int  d 
) [inline]

Reset with space s and discrepancy d.

Definition at line 96 of file lds.cc.

size_t Gecode::Search::ProbeEngine::stacksize ( void   )  const [inline]

Return stack size used by engine.

Definition at line 106 of file lds.cc.

Space * Gecode::Search::ProbeEngine::explore ( void   )  [inline]

Search for next solution

Definition at line 123 of file lds.cc.

bool Gecode::Search::ProbeEngine::done ( void   )  const [inline]

Test whether probing is done.

Definition at line 111 of file lds.cc.


Member Data Documentation

Stack storing current path in search tree

Definition at line 492 of file search.hh.

Current space.

Definition at line 494 of file search.hh.

unsigned int Gecode::Search::ProbeEngine::d [protected]

Current discrepancy.

Definition at line 496 of file search.hh.

Whether entire search space has been exhausted.

Definition at line 498 of file search.hh.


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