Gecode::Int::GCC::Edge Class Reference
Class for edges 
in the variable-value-graph.
More...
#include <dom-sup.hpp>
Constructors | |
|
| |
| Edge (void) | |
| Default constructor. | |
| Edge (VarNode *x, ValNode *v) | |
Construct edge  from variable node x and value node y. | |
Access | |
|
| |
| bool | used (BC bc) const |
| Whether the edge is used. | |
| bool | matched (BC bc) const |
| return whether the edge is matched | |
| bool | deleted (void) const |
| return whether the edge has been deleted from the graph | |
| Edge * | next (bool t) const |
| return a pointer to the next edge If t is false the function returns the next edge incident on x otherwise it returns the next edge incident on v | |
| Edge * | next (void) const |
| return the pointer to the next edge incident on x | |
| Edge * | prev (void) const |
| return the pointer to the previous edge incident on x | |
| Edge * | vnext (void) const |
| return the pointer to the next edge incident on v | |
| Edge * | vprev (void) const |
| return the pointer to the previous edge incident on v | |
| VarNode * | getVar (void) const |
| return the pointer to the variable node x of this edge | |
| ValNode * | getVal (void) const |
| return the pointer to the value node v of this edge | |
| Node * | getMate (bool t) const |
| return pointer to x if t = true otherwise return v | |
|
| |
| void | use (BC bc) |
| Update. | |
| void | free (BC bc) |
| Mark the edge as unused. | |
| void | reset (BC bc) |
| Reset the edge (free the edge, and unmatch the edge). | |
| void | match (BC bc) |
| Match the edge. | |
| void | unmatch (BC bc) |
| Unmatch the edge and the incident nodes. | |
| void | unmatch (BC bc, bool t) |
| Unmatch the edge and ( x if t=false, v otherwise ). | |
| void | unlink (void) |
| Unlink the edge from the linked list of edges. | |
| void | del_edge (void) |
| Mark the edge as deleted during synchronization. | |
| void | insert_edge (void) |
| Insert the edge again. | |
| Edge ** | next_ref (void) |
| return the reference to the next edge incident on x | |
| Edge ** | prev_ref (void) |
| return the reference to the previous edge incident on x | |
| Edge ** | vnext_ref (void) |
| return the reference to the next edge incident on v | |
| Edge ** | vprev_ref (void) |
| return the reference to the previous edge incident on v | |
Memory management | |
|
| |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. | |
| static void | operator delete (void *, Space &) |
| Free memory (unused). | |
| static void | operator delete (void *) |
| Needed for exceptions. | |
Detailed Description
Class for edges in the variable-value-graph.
Definition at line 264 of file dom-sup.hpp.
Constructor & Destructor Documentation
| Gecode::Int::GCC::Edge::Edge | ( | void | ) | [inline] |
Default constructor.
Definition at line 299 of file dom-sup.hpp.
Construct edge from variable node x and value node y.
Definition at line 845 of file dom-sup.hpp.
Member Function Documentation
| bool Gecode::Int::GCC::Edge::used | ( | BC | bc | ) | const [inline] |
Whether the edge is used.
Definition at line 865 of file dom-sup.hpp.
| bool Gecode::Int::GCC::Edge::matched | ( | BC | bc | ) | const [inline] |
return whether the edge is matched
Definition at line 970 of file dom-sup.hpp.
| bool Gecode::Int::GCC::Edge::deleted | ( | void | ) | const [inline] |
return whether the edge has been deleted from the graph
Definition at line 989 of file dom-sup.hpp.
| Edge * Gecode::Int::GCC::Edge::next | ( | bool | t | ) | const [inline] |
return a pointer to the next edge If t is false the function returns the next edge incident on x otherwise it returns the next edge incident on v
Definition at line 876 of file dom-sup.hpp.
| Edge * Gecode::Int::GCC::Edge::next | ( | void | ) | const [inline] |
return the pointer to the next edge incident on x
Definition at line 872 of file dom-sup.hpp.
| Edge * Gecode::Int::GCC::Edge::prev | ( | void | ) | const [inline] |
return the pointer to the previous edge incident on x
Definition at line 893 of file dom-sup.hpp.
| Edge * Gecode::Int::GCC::Edge::vnext | ( | void | ) | const [inline] |
return the pointer to the next edge incident on v
Definition at line 885 of file dom-sup.hpp.
| Edge * Gecode::Int::GCC::Edge::vprev | ( | void | ) | const [inline] |
return the pointer to the previous edge incident on v
Definition at line 901 of file dom-sup.hpp.
| VarNode * Gecode::Int::GCC::Edge::getVar | ( | void | ) | const [inline] |
return the pointer to the variable node x of this edge
Definition at line 913 of file dom-sup.hpp.
| ValNode * Gecode::Int::GCC::Edge::getVal | ( | void | ) | const [inline] |
return the pointer to the value node v of this edge
Definition at line 919 of file dom-sup.hpp.
| Node * Gecode::Int::GCC::Edge::getMate | ( | bool | t | ) | const [inline] |
return pointer to x if t = true otherwise return v
Definition at line 925 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::use | ( | BC | bc | ) | [inline] |
| void Gecode::Int::GCC::Edge::free | ( | BC | bc | ) | [inline] |
Mark the edge as unused.
Definition at line 858 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::reset | ( | BC | bc | ) | [inline] |
Reset the edge (free the edge, and unmatch the edge).
Definition at line 954 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::match | ( | BC | bc | ) | [inline] |
Match the edge.
Definition at line 959 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::unmatch | ( | BC | bc | ) | [inline] |
Unmatch the edge and the incident nodes.
Definition at line 933 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::unmatch | ( | BC | bc, | |
| bool | t | |||
| ) | [inline] |
Unmatch the edge and ( x if t=false, v otherwise ).
Definition at line 942 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::unlink | ( | void | ) | [inline] |
Unlink the edge from the linked list of edges.
Definition at line 808 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::del_edge | ( | void | ) | [inline] |
Mark the edge as deleted during synchronization.
Definition at line 978 of file dom-sup.hpp.
| void Gecode::Int::GCC::Edge::insert_edge | ( | void | ) | [inline] |
Insert the edge again.
Definition at line 983 of file dom-sup.hpp.
| Edge ** Gecode::Int::GCC::Edge::next_ref | ( | void | ) | [inline] |
return the reference to the next edge incident on x
Definition at line 909 of file dom-sup.hpp.
| Edge ** Gecode::Int::GCC::Edge::prev_ref | ( | void | ) | [inline] |
return the reference to the previous edge incident on x
Definition at line 897 of file dom-sup.hpp.
| Edge ** Gecode::Int::GCC::Edge::vnext_ref | ( | void | ) | [inline] |
return the reference to the next edge incident on v
Definition at line 889 of file dom-sup.hpp.
| Edge ** Gecode::Int::GCC::Edge::vprev_ref | ( | void | ) | [inline] |
return the reference to the previous edge incident on v
Definition at line 905 of file dom-sup.hpp.
| void * Gecode::Int::GCC::Edge::operator new | ( | size_t | s, | |
| Space & | home | |||
| ) | [inline, static] |
Allocate memory from space.
Definition at line 994 of file dom-sup.hpp.
| static void Gecode::Int::GCC::Edge::operator delete | ( | void * | , | |
| Space & | ||||
| ) | [inline, static] |
Free memory (unused).
Definition at line 375 of file dom-sup.hpp.
| static void Gecode::Int::GCC::Edge::operator delete | ( | void * | ) | [inline, static] |
Needed for exceptions.
Definition at line 377 of file dom-sup.hpp.
The documentation for this class was generated from the following file:
- gecode/int/gcc/dom-sup.hpp