Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1
common.hpp File Reference

(Revision: 11004)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Set
 Finite integer sets.
 
 Gecode::Set::Rel
 Standard set relation propagators.
 

Macros

#define GECODE_SET_ME_CHECK_VAL(p, f)
 
#define GECODE_SET_ME_CHECK_VAL_B(modified, tell, f)
 

Functions

bool Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me)
 
bool Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me1, ModEvent me)
 
bool Gecode::Set::Rel::subsumesME (ModEvent me0, ModEvent me)
 
bool Gecode::Set::Rel::testSetEventLB (ModEvent me0, ModEvent me1, ModEvent me2)
 
bool Gecode::Set::Rel::testSetEventUB (ModEvent me0, ModEvent me1, ModEvent me2)
 
bool Gecode::Set::Rel::testSetEventAnyB (ModEvent me0, ModEvent me1, ModEvent me2)
 
bool Gecode::Set::Rel::testSetEventCard (ModEvent me0, ModEvent me1, ModEvent me2)
 
bool Gecode::Set::Rel::testSetEventLB (ModEvent me0, ModEvent me1)
 
bool Gecode::Set::Rel::testSetEventUB (ModEvent me0, ModEvent me1)
 
bool Gecode::Set::Rel::testSetEventAnyB (ModEvent me0, ModEvent me1)
 
bool Gecode::Set::Rel::testSetEventCard (ModEvent me0, ModEvent me1)
 
bool Gecode::Set::Rel::testSetEventLB (ModEvent me0)
 
bool Gecode::Set::Rel::testSetEventUB (ModEvent me0)
 
bool Gecode::Set::Rel::testSetEventAnyB (ModEvent me0)
 
bool Gecode::Set::Rel::testSetEventCard (ModEvent me0)
 

Macro Definition Documentation

#define GECODE_SET_ME_CHECK_VAL (   p,
 
)
Value:
{ \
ModEvent __me__ ## __LINE__ = (p); \
if (me_failed(__me__ ## __LINE__)) return ES_FAILED; \
if (ME_GEN_ASSIGNED==(__me__ ## __LINE__))f=true; }
const ModEvent ME_GEN_ASSIGNED
Generic modification event: variable is assigned a value.
Definition: core.hpp:153
int ModEvent
Type for modification events.
Definition: core.hpp:146
int p
Number of positive literals for node type.
Definition: bool-expr.cpp:236
Execution has resulted in failure.
Definition: core.hpp:525
bool me_failed(ModEvent me)
Check whether modification event me is failed.
Definition: modevent.hpp:58

Definition at line 44 of file common.hpp.

#define GECODE_SET_ME_CHECK_VAL_B (   modified,
  tell,
 
)
Value:
{ \
ModEvent me = (tell); \
modified |= me_modified(me); \
if (ME_GEN_ASSIGNED==(me))f=true; \
}
const ModEvent ME_GEN_ASSIGNED
Generic modification event: variable is assigned a value.
Definition: core.hpp:153
int ModEvent
Type for modification events.
Definition: core.hpp:146
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Definition: macros.hpp:45
bool me_modified(ModEvent me)
Check whether modification event me describes variable modification.
Definition: modevent.hpp:63

Definition at line 49 of file common.hpp.