Generated on Fri May 13 2011 22:41:28 for Gecode by doxygen 1.7.1

Brancher that stops exploration in Gist More...

#include <stopbrancher.hh>

List of all members.

Public Member Functions

virtual bool status (const Space &) const
 Check status of brancher, return true if alternatives left.
virtual Choicechoice (Space &)
 Return choice.
virtual ExecStatus commit (Space &, const Choice &, unsigned int)
 Perform commit for choice _c and alternative a.
virtual Actorcopy (Space &home, bool share)
 Copy brancher.
virtual size_t dispose (Space &)
 Delete brancher and return its size.

Static Public Member Functions

static void post (Home home)
 Post brancher.

Protected Member Functions

 StopBrancher (Home home)
 Construct brancher.
 StopBrancher (Space &home, bool share, StopBrancher &b)
 Copy constructor.

Protected Attributes

bool done
 Flag whether brancher has been executed.

Detailed Description

Brancher that stops exploration in Gist

Definition at line 54 of file stopbrancher.hh.


Constructor & Destructor Documentation

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

Construct brancher.

Definition at line 48 of file stopbrancher.cpp.

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

Copy constructor.

Definition at line 50 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 54 of file stopbrancher.cpp.

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

Return choice.

Implements Gecode::Brancher.

Definition at line 59 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 63 of file stopbrancher.cpp.

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

Copy brancher.

Implements Gecode::Actor.

Definition at line 68 of file stopbrancher.cpp.

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

Post brancher.

Definition at line 72 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 76 of file stopbrancher.cpp.


Member Data Documentation

Flag whether brancher has been executed.

Definition at line 57 of file stopbrancher.hh.


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