Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3
Gecode::Int::GCC::Edge

Gecode::Int::GCC::Edge Class Reference

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

#include <dom-sup.hpp>

List of all members.

Constructors



 Edge (void)
 Default constructor.
 Edge (VarNode *x, ValNode *v)
 Construct edge $e(x,v)$ 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 $ 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 
) [inline, static]

Allocate memory from space.

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

static void Gecode::Int::GCC::Edge::operator delete ( void *  ,
Space &   
) [inline, static]

Free memory (unused).

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

static void Gecode::Int::GCC::Edge::operator delete ( void *   )  [inline, static]

Needed for exceptions.

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

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