Generated on Thu Apr 11 14:00:07 2019 for Gecode by doxygen 1.6.3

Gecode::Kernel::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)
 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, 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 41 of file function.cpp.


Constructor & Destructor Documentation

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

Construct brancher.

Definition at line 88 of file function.cpp.

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

Copy constructor.

Definition at line 96 of file function.cpp.


Member Function Documentation

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

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 100 of file function.cpp.

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

Return choice.

Implements Gecode::Brancher.

Definition at line 104 of file function.cpp.

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

Return choice.

Implements Gecode::Brancher.

Definition at line 109 of file function.cpp.

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

Perform commit.

Implements Gecode::Brancher.

Definition at line 113 of file function.cpp.

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

Print explanation.

Reimplemented from Gecode::Brancher.

Definition at line 120 of file function.cpp.

Actor * Gecode::Kernel::FunctionBranch::copy ( Space home  )  [virtual]

Copy brancher.

Implements Gecode::Actor.

Definition at line 125 of file function.cpp.

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

Post brancher.

Definition at line 129 of file function.cpp.

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

Dispose brancher.

Reimplemented from Gecode::Actor.

Definition at line 135 of file function.cpp.


Member Data Documentation

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

Function to call.

Definition at line 52 of file function.cpp.

Call function just once.

Definition at line 54 of file function.cpp.


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