Generated on Tue Apr 18 10:23:11 2017 for Gecode by doxygen 1.6.3

Gecode::FunctionBranch Class Reference

Brancher for calling a function More...

List of all members.

Classes

class  Description
 Minimal brancher description storing no information. More...

Public Member Functions

virtual bool status (const Space &home) const
 Check status of brancher, return true if alternatives left.
virtual const Choicechoice (Space &home)
 Return choice.
virtual const Choicechoice (const Space &home, Archive &a)
 Return choice.
virtual ExecStatus commit (Space &home, const Choice &ch, unsigned int a)
 Perform commit.
virtual void print (const Space &, const Choice &, unsigned int, std::ostream &o) const
 Print explanation.
virtual Actorcopy (Space &home, bool share)
 Copy brancher.
virtual size_t dispose (Space &home)
 Dispose brancher.

Static Public Member Functions

static void post (Home home, std::function< void(Space &home)> f)
 Post brancher.

Protected Member Functions

 FunctionBranch (Home home, std::function< void(Space &home)> f0)
 Construct brancher.
 FunctionBranch (Space &home, bool share, FunctionBranch &b)
 Copy constructor.

Protected Attributes

SharedData< std::function
< void(Space &home)> > 
f
 Function to call.
bool done
 Call function just once.

Detailed Description

Brancher for calling a function

Definition at line 45 of file branch.cpp.


Constructor & Destructor Documentation

Gecode::FunctionBranch::FunctionBranch ( Home  home,
std::function< void(Space &home)>  f0 
) [inline, protected]

Construct brancher.

Definition at line 98 of file branch.cpp.

Gecode::FunctionBranch::FunctionBranch ( Space home,
bool  share,
FunctionBranch b 
) [inline, protected]

Copy constructor.

Definition at line 106 of file branch.cpp.


Member Function Documentation

bool Gecode::FunctionBranch::status ( const Space home  )  const [virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 111 of file branch.cpp.

const Choice * Gecode::FunctionBranch::choice ( Space home  )  [virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 115 of file branch.cpp.

const Choice * Gecode::FunctionBranch::choice ( const Space home,
Archive a 
) [virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 120 of file branch.cpp.

ExecStatus Gecode::FunctionBranch::commit ( Space home,
const Choice ch,
unsigned int  a 
) [virtual]

Perform commit.

Implements Gecode::Brancher.

Definition at line 124 of file branch.cpp.

void Gecode::FunctionBranch::print ( const Space ,
const Choice ,
unsigned int  ,
std::ostream &  o 
) const [virtual]

Print explanation.

Reimplemented from Gecode::Brancher.

Definition at line 131 of file branch.cpp.

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

Copy brancher.

Implements Gecode::Actor.

Definition at line 136 of file branch.cpp.

void Gecode::FunctionBranch::post ( Home  home,
std::function< void(Space &home)>  f 
) [inline, static]

Post brancher.

Definition at line 140 of file branch.cpp.

size_t Gecode::FunctionBranch::dispose ( Space home  )  [virtual]

Dispose brancher.

Reimplemented from Gecode::Actor.

Definition at line 146 of file branch.cpp.


Member Data Documentation

SharedData<std::function<void(Space& home)> > Gecode::FunctionBranch::f [protected]

Function to call.

Definition at line 58 of file branch.cpp.

bool Gecode::FunctionBranch::done [protected]

Call function just once.

Definition at line 60 of file branch.cpp.


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