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&);
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
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
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Choice for performing commit
Brancher that stops exploration in Gist
Gecode toplevel namespace
Home class for posting propagators
bool done
Flag whether brancher has been executed.