Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13
Public Member Functions | Protected Attributes | List of all members
Gecode::Search::Sequential::LDS Class Reference

Limited discrepancy search engine implementation. More...

#include <lds.hh>

Public Member Functions

 LDS (Space *s, const Options &o)
 Initialize for space s with options o. More...
 
virtual Space * next (void)
 Return next solution (NULL, if none exists or search has been stopped) More...
 
virtual Statistics statistics (void) const
 Return statistics. More...
 
void constrain (const Space &b)
 Constrain future solutions to be better than b (should never be called) More...
 
void reset (Space *s)
 Reset engine to restart at space s. More...
 
virtual bool stopped (void) const
 Check whether engine has been stopped. More...
 
virtual ~LDS (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::Search::Engine
virtual NoGoods & nogoods (void)
 Return no-goods (the no-goods are empty) More...
 
virtual ~Engine (void)
 Destructor. More...
 

Protected Attributes

Options opt
 Search options. More...
 
Probe e
 The probe engine. More...
 
Space * root
 Root node for problem. More...
 
unsigned int d
 Current discrepancy. More...
 
bool no_solution
 Solution found for current discrepancy. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

Detailed Description

Limited discrepancy search engine implementation.

Definition at line 99 of file lds.hh.

Constructor & Destructor Documentation

◆ LDS()

Gecode::Search::Sequential::LDS::LDS ( Space *  s,
const Options &  o 
)
inline

Initialize for space s with options o.

Definition at line 288 of file lds.hh.

◆ ~LDS()

Gecode::Search::Sequential::LDS::~LDS ( void  )
virtual

Destructor.

Definition at line 80 of file lds.cpp.

Member Function Documentation

◆ next()

Space * Gecode::Search::Sequential::LDS::next ( void  )
virtual

Return next solution (NULL, if none exists or search has been stopped)

Implements Gecode::Search::Engine.

Definition at line 52 of file lds.cpp.

◆ statistics()

Statistics Gecode::Search::Sequential::LDS::statistics ( void  ) const
virtual

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 76 of file lds.cpp.

◆ constrain()

void Gecode::Search::Sequential::LDS::constrain ( const Space &  b)
inlinevirtual

Constrain future solutions to be better than b (should never be called)

Reimplemented from Gecode::Search::Engine.

Definition at line 320 of file lds.hh.

◆ reset()

void Gecode::Search::Sequential::LDS::reset ( Space *  s)
inlinevirtual

Reset engine to restart at space s.

Reimplemented from Gecode::Search::Engine.

Definition at line 304 of file lds.hh.

◆ stopped()

bool Gecode::Search::Sequential::LDS::stopped ( void  ) const
virtual

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 71 of file lds.cpp.

Member Data Documentation

◆ opt

Options Gecode::Search::Sequential::LDS::opt
protected

Search options.

Definition at line 102 of file lds.hh.

◆ e

Probe Gecode::Search::Sequential::LDS::e
protected

The probe engine.

Definition at line 104 of file lds.hh.

◆ root

Space* Gecode::Search::Sequential::LDS::root
protected

Root node for problem.

Definition at line 106 of file lds.hh.

◆ d

unsigned int Gecode::Search::Sequential::LDS::d
protected

Current discrepancy.

Definition at line 108 of file lds.hh.

◆ no_solution

bool Gecode::Search::Sequential::LDS::no_solution
protected

Solution found for current discrepancy.

Definition at line 110 of file lds.hh.

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