41 namespace Gecode {
namespace Gist {
49 virtual size_t size(
void)
const;
51 virtual void archive(
Archive& e)
const;
65 virtual bool status(
const Space&)
const;
75 std::ostream& o)
const;
81 virtual size_t dispose(
Space&);
Base-class for both propagators and branchers.
Gecode::FloatVal c(-8, 8)
Base-class for branchers.
unsigned int size(I &i)
Size of all ranges of range iterator i.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
#define GECODE_GIST_EXPORT
Choice for performing commit
Brancher that stops exploration in Gist
Gecode toplevel namespace
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
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.