Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13
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 Spacenext (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 NoGoodsnogoods (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...
 
Spaceroot
 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: