65 :
Brancher(home), f(f0), done(false) {}
68 :
Brancher(home,share,b), f(b.f), done(b.done) {}
93 std::ostream& o)
const {
94 o <<
"FunctionBranch(" << f <<
")";
bool done
Call function just once.
virtual const Choice * choice(const Space &, Archive &)
Return choice.
Description(const Brancher &b, unsigned int a)
Initialize description for brancher b, number of alternatives a.
virtual void archive(Archive &e) const
Archive into e.
bool failed(void) const
Check whether space is failed.
Base-class for both propagators and branchers.
virtual Actor * copy(Space &home, bool share)
Copy brancher.
virtual void print(const Space &, const Choice &, unsigned int, std::ostream &o) const
Print explanation.
virtual const Choice * choice(Space &)
Return choice.
Base-class for branchers.
virtual ExecStatus commit(Space &home, const Choice &, unsigned int)
Perform commit.
Execution has resulted in failure.
Minimal brancher description storing no information.
virtual void archive(Archive &e) const
Archive into e.
FunctionBranch(Space &home, bool share, FunctionBranch &b)
Copy constructor.
#define GECODE_KERNEL_EXPORT
virtual size_t size(void) const
Report size occupied.
Choice for performing commit
Brancher for calling a function
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
FunctionBranch(Home home, void(*f0)(Space &))
Construct brancher.
static BrancherHandle post(Home home, void(*f)(Space &))
Post brancher.
virtual bool status(const Space &) const
Check status of brancher, return true if alternatives left.
BrancherHandle branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf, FloatVarValPrint vvp)
Branch over x with variable selection vars and value selection vals.
Home class for posting propagators
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.