Generated on Mon Jul 27 2020 00:00:00 for Gecode by doxygen 1.8.18
Gecode::Search::Seq::LDS< Tracer > Class Template 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< Tracere
 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

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

Limited discrepancy search engine implementation.

Definition at line 105 of file lds.hh.

Constructor & Destructor Documentation

◆ LDS()

template<class Tracer >
Gecode::Search::Seq::LDS< Tracer >::LDS ( Space s,
const Options o 
)
inline

Initialize for space s with options o.

Definition at line 272 of file lds.hpp.

◆ ~LDS()

template<class Tracer >
Gecode::Search::Seq::LDS< Tracer >::~LDS ( void  )
virtual

Destructor.

Definition at line 345 of file lds.hpp.

Member Function Documentation

◆ next()

template<class Tracer >
Space * Gecode::Search::Seq::LDS< Tracer >::next ( void  )
virtual

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

Implements Gecode::Search::Engine.

Definition at line 289 of file lds.hpp.

◆ statistics()

template<class Tracer >
Statistics Gecode::Search::Seq::LDS< Tracer >::statistics ( void  ) const
virtual

Return statistics.

Implements Gecode::Search::Engine.

Definition at line 315 of file lds.hpp.

◆ constrain()

template<class Tracer >
void Gecode::Search::Seq::LDS< Tracer >::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 339 of file lds.hpp.

◆ reset()

template<class Tracer >
void Gecode::Search::Seq::LDS< Tracer >::reset ( Space s)
inlinevirtual

Reset engine to restart at space s.

Reimplemented from Gecode::Search::Engine.

Definition at line 322 of file lds.hpp.

◆ stopped()

template<class Tracer >
bool Gecode::Search::Seq::LDS< Tracer >::stopped ( void  ) const
virtual

Check whether engine has been stopped.

Implements Gecode::Search::Engine.

Definition at line 309 of file lds.hpp.

Member Data Documentation

◆ opt

template<class Tracer >
Options Gecode::Search::Seq::LDS< Tracer >::opt
protected

Search options.

Definition at line 108 of file lds.hh.

◆ e

template<class Tracer >
Probe<Tracer> Gecode::Search::Seq::LDS< Tracer >::e
protected

The probe engine.

Definition at line 110 of file lds.hh.

◆ root

template<class Tracer >
Space* Gecode::Search::Seq::LDS< Tracer >::root
protected

Root node for problem.

Definition at line 112 of file lds.hh.

◆ d

template<class Tracer >
unsigned int Gecode::Search::Seq::LDS< Tracer >::d
protected

Current discrepancy.

Definition at line 114 of file lds.hh.

◆ no_solution

template<class Tracer >
bool Gecode::Search::Seq::LDS< Tracer >::no_solution
protected

Solution found for current discrepancy.

Definition at line 116 of file lds.hh.


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