43namespace Gecode {
namespace Float {
50 FloatVarImp::subscribe(Space& home, Propagator&
p,
PropCond pc,
56 FloatVarImp::reschedule(Space& home, Propagator&
p,
PropCond pc) {
61 FloatVarImp::subscribe(Space& home, Advisor&
a,
bool fail) {
int p
Number of positive literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
void subscribe(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned, bool schedule)
Subscribe propagator p with propagation condition pc.
void reschedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::PropCond pc, bool assigned)
Re-schedule propagator p.
bool assigned(View x, int v)
Whether x is assigned to value v.
Gecode toplevel namespace
int PropCond
Type for propagation conditions.