// Return the adjacency class that matches the specified vertex name.
// Return NULL if not found.
*operation* Adjacency* find_adjacency(Vertex *v)
  *init* (@ NULL @)
  
  *traverse* *from* Cd_graph
             *to*   Adjacency
             
  *wrapper* Adjacency
    *prefix* (@ if (v->g_equal(this->get_source())) return_val = this; @)
    


// Get the line number of a Term:
*operation* int find_line_number()
  *init* (@ 0 @)
  
  *traverse* *from*      Term
             *bypassing* ->Term,actual_parameters,*
             *to*        Vertex
             
  *wrapper* Vertex
    *prefix* (@ return_val = this->get_vertex_name()->get_line_number(); @)


// Get the string name of a term
*operation* char* get_term_name()
  *init* (@ NULL @)

  *traverse* *from*      Term
             *bypassing* ->Term,actual_parameters,*
             *to*        Vertex

  *wrapper* Vertex
    *prefix* (@ return_val = this->get_vertex_name()->get_val(); @)