Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Search::Engine Class Referenceabstract

Search engine implementation interface More...

#include <search.hh>

Public Member Functions

virtual Spacenext (void)=0
 Return next solution (NULL, if none exists or search has been stopped)
 
virtual Statistics statistics (void) const =0
 Return statistics.
 
virtual bool stopped (void) const =0
 Check whether engine has been stopped.
 
virtual void constrain (const Space &b)
 Constrain future solutions to be better than b (raises exception)
 
virtual void reset (Space *s)
 Reset engine to restart at space s (does nothing)
 
virtual NoGoodsnogoods (void)
 Return no-goods (the no-goods are empty)
 
virtual ~Engine (void)
 Destructor.
 

Additional Inherited Members

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

Detailed Description

Search engine implementation interface

Definition at line 899 of file search.hh.

Constructor & Destructor Documentation

◆ ~Engine()

Gecode::Search::Engine::~Engine ( void )
inlinevirtual

Destructor.

Definition at line 37 of file engine.hpp.

Member Function Documentation

◆ next()

◆ statistics()

◆ stopped()

◆ constrain()

void Gecode::Search::Engine::constrain ( const Space & b)
virtual

◆ reset()

void Gecode::Search::Engine::reset ( Space * s)
virtual

Reset engine to restart at space s (does nothing)

Reimplemented in Gecode::Search::Par::BAB< Tracer >, Gecode::Search::Par::DFS< Tracer >, Gecode::Search::Seq::LDS< Tracer >, and Gecode::Search::WorkerToEngine< Worker >.

Definition at line 44 of file engine.cpp.

◆ nogoods()

NoGoods & Gecode::Search::Engine::nogoods ( void )
virtual

Return no-goods (the no-goods are empty)

Reimplemented in Gecode::Search::Par::BAB< Tracer >, Gecode::Search::Par::DFS< Tracer >, and Gecode::Search::WorkerToEngine< Worker >.

Definition at line 48 of file engine.cpp.


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