Generated on Sat Feb 7 2015 02:01:44 for Gecode by doxygen 1.8.9.1
Gecode::Gist::StopBrancher Class Reference

Brancher that stops exploration in Gist More...

#include <stopbrancher.hh>

Public Member Functions

virtual bool status (const Space &) const
 Check status of brancher, return true if alternatives left. More...
 
virtual Choicechoice (Space &)
 Return choice. More...
 
virtual Choicechoice (const Space &home, Archive &)
 Return choice. More...
 
virtual ExecStatus commit (Space &, const Choice &, unsigned int)
 Perform commit for choice _c and alternative a. More...
 
virtual void print (const Space &home, const Gecode::Choice &c, unsigned int, std::ostream &o) const
 Print explanation. More...
 
virtual Actorcopy (Space &home, bool share)
 Copy brancher. More...
 
virtual size_t dispose (Space &)
 Delete brancher and return its size. More...
 
- Public Member Functions inherited from Gecode::Brancher
unsigned int id (void) const
 Return unsigned brancher id. More...
 
virtual NGLngl (Space &home, const Choice &c, unsigned int a) const
 Create no-good literal for choice c and alternative a. More...
 
- Public Member Functions inherited from Gecode::Actor

Static Public Member Functions

static void post (Home home)
 Post brancher. More...
 
- Static Public Member Functions inherited from Gecode::Actor
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p, Space &home)
 No-op for exceptions. More...
 

Protected Member Functions

 StopBrancher (Home home)
 Construct brancher. More...
 
 StopBrancher (Space &home, bool share, StopBrancher &b)
 Copy constructor. More...
 
- Protected Member Functions inherited from Gecode::Brancher
 Brancher (Home home)
 Constructor for creation. More...
 
 Brancher (Space &home, bool share, Brancher &b)
 Constructor for cloning b. More...
 

Protected Attributes

bool done
 Flag whether brancher has been executed. More...
 

Detailed Description

Brancher that stops exploration in Gist

Definition at line 55 of file stopbrancher.hh.

Constructor & Destructor Documentation

Gecode::Gist::StopBrancher::StopBrancher ( Home  home)
protected

Construct brancher.

Definition at line 52 of file stopbrancher.cpp.

Gecode::Gist::StopBrancher::StopBrancher ( Space home,
bool  share,
StopBrancher b 
)
protected

Copy constructor.

Definition at line 54 of file stopbrancher.cpp.

Member Function Documentation

bool Gecode::Gist::StopBrancher::status ( const Space ) const
virtual

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 58 of file stopbrancher.cpp.

Choice * Gecode::Gist::StopBrancher::choice ( Space )
virtual

Return choice.

Implements Gecode::Brancher.

Definition at line 63 of file stopbrancher.cpp.

Choice * Gecode::Gist::StopBrancher::choice ( const Space home,
Archive  
)
virtual

Return choice.

Implements Gecode::Brancher.

Definition at line 67 of file stopbrancher.cpp.

ExecStatus Gecode::Gist::StopBrancher::commit ( Space ,
const Choice ,
unsigned int   
)
virtual

Perform commit for choice _c and alternative a.

Implements Gecode::Brancher.

Definition at line 71 of file stopbrancher.cpp.

void Gecode::Gist::StopBrancher::print ( const Space home,
const Gecode::Choice c,
unsigned int  ,
std::ostream &  o 
) const
virtual

Print explanation.

Reimplemented from Gecode::Brancher.

Definition at line 77 of file stopbrancher.cpp.

Actor * Gecode::Gist::StopBrancher::copy ( Space home,
bool  share 
)
virtual

Copy brancher.

Implements Gecode::Actor.

Definition at line 82 of file stopbrancher.cpp.

void Gecode::Gist::StopBrancher::post ( Home  home)
static

Post brancher.

Definition at line 86 of file stopbrancher.cpp.

size_t Gecode::Gist::StopBrancher::dispose ( Space )
virtual

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Definition at line 90 of file stopbrancher.cpp.

Member Data Documentation

bool Gecode::Gist::StopBrancher::done
protected

Flag whether brancher has been executed.

Definition at line 58 of file stopbrancher.hh.


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