graphsup.icc File Reference
(Revision: 3289)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::GCC |
Classes | |
class | Gecode::Int::GCC::VVGNode |
Base class for nodes in the variable-value-graph. More... | |
class | Gecode::Int::GCC::VarNode |
Variable Node More... | |
class | Gecode::Int::GCC::ValNode |
Value node. More... | |
class | Gecode::Int::GCC::Edge |
Class for edges ![]() | |
class | Gecode::Int::GCC::VarValGraph< View, Card, isView > |
Variable-value-graph used during propagation. More... | |
Defines | |
#define | GECODE_ASSERTION_VARIABLE(c) c |
#define | GECODE_ASSERT(a) assert(!me_failed(a)); |
Enumerations | |
enum | Gecode::Int::GCC::BC { Gecode::Int::GCC::UBC = 1, Gecode::Int::GCC::LBC = 0 } |
Bounds constraint (BC) type. More... | |
Functions | |
template<class View> | |
void | Gecode::Int::GCC::pview (View &v) |
Debugging: print a view. | |
std::ostream & | Gecode::Int::GCC::operator<< (std::ostream &os, VarNode *v) |
Debugging: print a variable node. | |
std::ostream & | Gecode::Int::GCC::operator<< (std::ostream &os, ValNode *v) |
Debugging: print a value node. | |
std::ostream & | Gecode::Int::GCC::operator<< (std::ostream &os, Edge *e) |
Debugging: print an edge. |
Define Documentation
#define GECODE_ASSERTION_VARIABLE | ( | c | ) | c |
Definition at line 26 of file graphsup.icc.
#define GECODE_ASSERT | ( | a | ) | assert(!me_failed(a)); |
Definition at line 27 of file graphsup.icc.