Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::GCC::Edge Class Reference

Class for edges $ e(x,v) $ in the variable-value-graph. More...

#include <dom-sup.hpp>

Constructors

 Edge (void)
 Default constructor. More...
 
 Edge (VarNode *x, ValNode *v)
 Construct edge $e(x,v)$ 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...
 
Edgenext (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...
 
Edgenext (void) const
 return the pointer to the next edge incident on x More...
 
Edgeprev (void) const
 return the pointer to the previous edge incident on x More...
 
Edgevnext (void) const
 return the pointer to the next edge incident on v More...
 
Edgevprev (void) const
 return the pointer to the previous edge incident on v More...
 
VarNodegetVar (void) const
 return the pointer to the variable node x of this edge More...
 
ValNodegetVal (void) const
 return the pointer to the value node v of this edge More...
 
NodegetMate (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...
 

Detailed Description

Class for edges $ e(x,v) $ in the variable-value-graph.

Definition at line 268 of file dom-sup.hpp.

Constructor & Destructor Documentation

Gecode::Int::GCC::Edge::Edge ( void  )
inline

Default constructor.

Definition at line 303 of file dom-sup.hpp.

Gecode::Int::GCC::Edge::Edge ( VarNode x,
ValNode v 
)
inline

Construct edge $e(x,v)$ from variable node x and value node y.

Definition at line 850 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 870 of file dom-sup.hpp.

bool Gecode::Int::GCC::Edge::matched ( BC  bc) const
inline

return whether the edge is matched

Definition at line 975 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 994 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 881 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 877 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 898 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 890 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 906 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 918 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 924 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 930 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::use ( BC  bc)
inline

Update.

Mark the edge as used

Definition at line 856 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::free ( BC  bc)
inline

Mark the edge as unused.

Definition at line 863 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 959 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::match ( BC  bc)
inline

Match the edge.

Definition at line 964 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::unmatch ( BC  bc)
inline

Unmatch the edge and the incident nodes.

Definition at line 938 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 947 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 813 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::del_edge ( void  )
inline

Mark the edge as deleted during synchronization.

Definition at line 983 of file dom-sup.hpp.

void Gecode::Int::GCC::Edge::insert_edge ( void  )
inline

Insert the edge again.

Definition at line 988 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 914 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 902 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 894 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 910 of file dom-sup.hpp.

void * Gecode::Int::GCC::Edge::operator new ( size_t  s,
Space home 
)
inlinestatic

Allocate memory from space.

Definition at line 999 of file dom-sup.hpp.

static void Gecode::Int::GCC::Edge::operator delete ( void *  ,
Space  
)
inlinestatic

Free memory (unused)

Definition at line 379 of file dom-sup.hpp.

static void Gecode::Int::GCC::Edge::operator delete ( void *  )
inlinestatic

Needed for exceptions.

Definition at line 381 of file dom-sup.hpp.


The documentation for this class was generated from the following file: