41 namespace Gecode {
namespace Gist {
49 virtual void archive(
Archive& e)
const;
63 virtual bool status(
const Space&)
const;
73 std::ostream& o)
const;
79 virtual size_t dispose(
Space&);
Base-class for both propagators and branchers.
Gecode::FloatVal c(-8, 8)
Base-class for branchers.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
#define GECODE_GIST_EXPORT
Choice for performing commit
Brancher that stops exploration in Gist
Gecode toplevel namespace
Home class for posting propagators
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
bool done
Flag whether brancher has been executed.