43 namespace Gecode {
namespace Float {
bool assigned(void) const
Test whether variable is assigned.
Base-class for propagators.
int p
Number of positive literals for node type.
int PropCond
Type for propagation conditions.
void reschedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned)
Re-schedule propagator p.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
ModEvent fail(Space &home)
Run advisors to be run on failure and returns ME_GEN_FAILED.
Gecode toplevel namespace
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
void subscribe(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned, bool schedule)
Subscribe propagator p with propagation condition pc.