
Class for edges
in the variable-value-graph.
More...
#include <dom-sup.hpp>
Constructors | |
| Edge (void) | |
| Default constructor. More... | |
| Edge (VarNode *x, ValNode *v) | |
Construct edge from variable node x and value node y. More... | |
Access | |
| bool | used (BC bc) const |
| Whether the edge is used. More... | |
| bool | matched (BC bc) const |
| return whether the edge is matched More... | |
| bool | deleted (void) const |
| return whether the edge has been deleted from the graph More... | |
| 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 More... | |
| Edge * | next (void) const |
| return the pointer to the next edge incident on x More... | |
| Edge * | prev (void) const |
| return the pointer to the previous edge incident on x More... | |
| Edge * | vnext (void) const |
| return the pointer to the next edge incident on v More... | |
| Edge * | vprev (void) const |
| return the pointer to the previous edge incident on v More... | |
| VarNode * | getVar (void) const |
| return the pointer to the variable node x of this edge More... | |
| ValNode * | getVal (void) const |
| return the pointer to the value node v of this edge More... | |
| Node * | getMate (bool t) const |
| return pointer to x if t = true otherwise return v More... | |
| void | use (BC bc) |
| Update. More... | |
| void | free (BC bc) |
| Mark the edge as unused. More... | |
| void | reset (BC bc) |
| Reset the edge (free the edge, and unmatch the edge) More... | |
| void | match (BC bc) |
| Match the edge. More... | |
| void | unmatch (BC bc) |
| Unmatch the edge and the incident nodes. More... | |
| void | unmatch (BC bc, bool t) |
| Unmatch the edge and ( x if t=false, v otherwise ) More... | |
| void | unlink (void) |
| Unlink the edge from the linked list of edges. More... | |
| void | del_edge (void) |
| Mark the edge as deleted during synchronization. More... | |
| void | insert_edge (void) |
| Insert the edge again. More... | |
| Edge ** | next_ref (void) |
| return the reference to the next edge incident on x More... | |
| Edge ** | prev_ref (void) |
| return the reference to the previous edge incident on x More... | |
| Edge ** | vnext_ref (void) |
| return the reference to the next edge incident on v More... | |
| Edge ** | vprev_ref (void) |
| return the reference to the previous edge incident on v More... | |
Memory management | |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. More... | |
| static void | operator delete (void *, Space &) |
| Free memory (unused) More... | |
| static void | operator delete (void *) |
| Needed for exceptions. More... | |
Class for edges
in the variable-value-graph.
Definition at line 268 of file dom-sup.hpp.
|
inline |
Default constructor.
Definition at line 303 of file dom-sup.hpp.
Construct edge
from variable node x and value node y.
Definition at line 850 of file dom-sup.hpp.
|
inline |
Whether the edge is used.
Definition at line 870 of file dom-sup.hpp.
|
inline |
return whether the edge is matched
Definition at line 975 of file dom-sup.hpp.
|
inline |
return whether the edge has been deleted from the graph
Definition at line 994 of file dom-sup.hpp.
|
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 881 of file dom-sup.hpp.
|
inline |
return the pointer to the next edge incident on x
Definition at line 877 of file dom-sup.hpp.
|
inline |
return the pointer to the previous edge incident on x
Definition at line 898 of file dom-sup.hpp.
|
inline |
return the pointer to the next edge incident on v
Definition at line 890 of file dom-sup.hpp.
|
inline |
return the pointer to the previous edge incident on v
Definition at line 906 of file dom-sup.hpp.
|
inline |
return the pointer to the variable node x of this edge
Definition at line 918 of file dom-sup.hpp.
|
inline |
return the pointer to the value node v of this edge
Definition at line 924 of file dom-sup.hpp.
|
inline |
return pointer to x if t = true otherwise return v
Definition at line 930 of file dom-sup.hpp.
|
inline |
|
inline |
Mark the edge as unused.
Definition at line 863 of file dom-sup.hpp.
|
inline |
Reset the edge (free the edge, and unmatch the edge)
Definition at line 959 of file dom-sup.hpp.
|
inline |
Match the edge.
Definition at line 964 of file dom-sup.hpp.
|
inline |
Unmatch the edge and the incident nodes.
Definition at line 938 of file dom-sup.hpp.
|
inline |
Unmatch the edge and ( x if t=false, v otherwise )
Definition at line 947 of file dom-sup.hpp.
|
inline |
Unlink the edge from the linked list of edges.
Definition at line 813 of file dom-sup.hpp.
|
inline |
Mark the edge as deleted during synchronization.
Definition at line 983 of file dom-sup.hpp.
|
inline |
Insert the edge again.
Definition at line 988 of file dom-sup.hpp.
|
inline |
return the reference to the next edge incident on x
Definition at line 914 of file dom-sup.hpp.
|
inline |
return the reference to the previous edge incident on x
Definition at line 902 of file dom-sup.hpp.
|
inline |
return the reference to the next edge incident on v
Definition at line 894 of file dom-sup.hpp.
|
inline |
return the reference to the previous edge incident on v
Definition at line 910 of file dom-sup.hpp.
|
inlinestatic |
Allocate memory from space.
Definition at line 999 of file dom-sup.hpp.
|
inlinestatic |
Free memory (unused)
Definition at line 379 of file dom-sup.hpp.
|
inlinestatic |
Needed for exceptions.
Definition at line 381 of file dom-sup.hpp.