Generated on Wed Feb 7 10:29:33 2018 for Gecode by doxygen 1.6.3

Gecode::Search::Seq::Probe< Tracer > Class Template Reference

Probe engine for LDS More...

#include <lds.hh>

List of all members.

Classes

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

Public Member Functions

 Probe (const Options &opt)
 Initialize.
void init (Space *s)
 Initialize with space s.
void reset (Space *s, unsigned int d)
 Reset with space s and discrepancy d.
Statistics statistics (void) const
 Return statistics.
 ~Probe (void)
 Destructor.
Spacenext (const Options &o)
 Search for next solution
bool done (void) const
 Test whether probing is done.

Protected Types

typedef Tracer::ID ID
 Node identity type.

Protected Attributes

Tracer tracer
 Search tracer.
Support::DynamicStack< Node, Heapds
 Stack storing current path in search tree
Spacecur
 Current space.
unsigned int d
 Current discrepancy.
bool exhausted
 Whether entire search space has been exhausted.

Detailed Description

template<class Tracer>
class Gecode::Search::Seq::Probe< Tracer >

Probe engine for LDS

Definition at line 49 of file lds.hh.


Member Typedef Documentation

template<class Tracer >
typedef Tracer::ID Gecode::Search::Seq::Probe< Tracer >::ID [protected]

Node identity type.

Definition at line 52 of file lds.hh.


Constructor & Destructor Documentation

template<class Tracer >
Gecode::Search::Seq::Probe< Tracer >::Probe ( const Options opt  )  [inline]

Initialize.

Definition at line 96 of file lds.hpp.

template<class Tracer >
Gecode::Search::Seq::Probe< Tracer >::~Probe ( void   )  [inline]

Destructor.

Definition at line 137 of file lds.hpp.


Member Function Documentation

template<class Tracer >
void Gecode::Search::Seq::Probe< Tracer >::init ( Space s  )  [inline]

Initialize with space s.

Definition at line 104 of file lds.hpp.

template<class Tracer >
void Gecode::Search::Seq::Probe< Tracer >::reset ( Space s,
unsigned int  d 
) [inline]

Reset with space s and discrepancy d.

Definition at line 112 of file lds.hpp.

template<class Tracer >
Statistics Gecode::Search::Seq::Probe< Tracer >::statistics ( void   )  const [inline]

Return statistics.

Definition at line 125 of file lds.hpp.

template<class Tracer >
Space * Gecode::Search::Seq::Probe< Tracer >::next ( const Options o  )  [inline]

Search for next solution

Definition at line 146 of file lds.hpp.

template<class Tracer >
bool Gecode::Search::Seq::Probe< Tracer >::done ( void   )  const [inline]

Test whether probing is done.

Definition at line 131 of file lds.hpp.


Member Data Documentation

template<class Tracer >
Tracer Gecode::Search::Seq::Probe< Tracer >::tracer [protected]

Search tracer.

Definition at line 81 of file lds.hh.

template<class Tracer >
Support::DynamicStack<Node,Heap> Gecode::Search::Seq::Probe< Tracer >::ds [protected]

Stack storing current path in search tree

Definition at line 83 of file lds.hh.

template<class Tracer >
Space* Gecode::Search::Seq::Probe< Tracer >::cur [protected]

Current space.

Definition at line 85 of file lds.hh.

template<class Tracer >
unsigned int Gecode::Search::Seq::Probe< Tracer >::d [protected]

Current discrepancy.

Definition at line 87 of file lds.hh.

template<class Tracer >
bool Gecode::Search::Seq::Probe< Tracer >::exhausted [protected]

Whether entire search space has been exhausted.

Definition at line 89 of file lds.hh.


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