#include "treeprop.h"



Ar_Vertex*  Ar_Vertex_list::ar_vertex_lookup( Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex_list","Ar_Vertex*  Ar_Vertex_list::ar_vertex_lookup(Vertex*  lookup)");
  Ar_Vertex*  return_val;

  this->ar_vertex_lookup_( return_val, lookup  );
  return return_val;
}
//  Ar_Vertex  = <v > Vertex 
//            <ar > Vertex_comma_list 
//            <contained_in > Vertex .
void Ar_Vertex::ar_vertex_lookup_( Ar_Vertex* & return_val, Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex","void Ar_Vertex::ar_vertex_lookup_(Ar_Vertex* & return_val,Vertex*  lookup)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers
 if (lookup->g_equal(v)) {
                  return_val = this;
                } 

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

//  Ar_Vertex_list  ~  { Ar_Vertex  }. .
void Ar_Vertex_list::ar_vertex_lookup_( Ar_Vertex* & return_val, Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex_list","void Ar_Vertex_list::ar_vertex_lookup_(Ar_Vertex* & return_val,Vertex*  lookup)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Ar_Vertex_list_iterator	next_Ar_Vertex(*this);
  Ar_Vertex*		each_Ar_Vertex;

  while ( each_Ar_Vertex = next_Ar_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Ar_Vertex->ar_vertex_lookup_( return_val, lookup  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

Vertex_comma_list*  Ar_Vertex_list::ar_lookup( Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex_list","Vertex_comma_list*  Ar_Vertex_list::ar_lookup(Vertex*  lookup)");
  Vertex_comma_list*  return_val;

  this->ar_lookup_( return_val, lookup  );
  return return_val;
}
//  Ar_Vertex  = <v > Vertex 
//            <ar > Vertex_comma_list 
//            <contained_in > Vertex .
void Ar_Vertex::ar_lookup_( Vertex_comma_list* & return_val, Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex","void Ar_Vertex::ar_lookup_(Vertex_comma_list* & return_val,Vertex*  lookup)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers
 if (lookup->g_equal(v)) {
                  return_val = ar;
                } 

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

//  Ar_Vertex_list  ~  { Ar_Vertex  }. .
void Ar_Vertex_list::ar_lookup_( Vertex_comma_list* & return_val, Vertex*  lookup )
{
  DEM_TRACE("Ar_Vertex_list","void Ar_Vertex_list::ar_lookup_(Vertex_comma_list* & return_val,Vertex*  lookup)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Ar_Vertex_list_iterator	next_Ar_Vertex(*this);
  Ar_Vertex*		each_Ar_Vertex;

  while ( each_Ar_Vertex = next_Ar_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Ar_Vertex->ar_lookup_( return_val, lookup  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

//  Ar_Vertex  = <v > Vertex 
//            <ar > Vertex_comma_list 
//            <contained_in > Vertex .
void Ar_Vertex::ar_set( Vertex*  lookup,Vertex_comma_list*  ar_list )
{
  DEM_TRACE("Ar_Vertex","void Ar_Vertex::ar_set(Vertex*  lookup,Vertex_comma_list*  ar_list)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers
 if (lookup->g_equal(v)) {
                  ar = ar_list;
                } 

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

//  Ar_Vertex_list  ~  { Ar_Vertex  }. .
void Ar_Vertex_list::ar_set( Vertex*  lookup,Vertex_comma_list*  ar_list )
{
  DEM_TRACE("Ar_Vertex_list","void Ar_Vertex_list::ar_set(Vertex*  lookup,Vertex_comma_list*  ar_list)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Ar_Vertex_list_iterator	next_Ar_Vertex(*this);
  Ar_Vertex*		each_Ar_Vertex;

  while ( each_Ar_Vertex = next_Ar_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Ar_Vertex->ar_set( lookup ,  ar_list  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}

Vertex_comma_list*  Ar_Vertex::get_ar_set(  )
{
  DEM_TRACE("Ar_Vertex","Vertex_comma_list*  Ar_Vertex::get_ar_set()");
  Vertex_comma_list*  return_val =  ar ;

  this->get_ar_set_( return_val );
  return return_val;
}
//  Ar_Vertex  = <v > Vertex 
//            <ar > Vertex_comma_list 
//            <contained_in > Vertex .
void Ar_Vertex::get_ar_set_( Vertex_comma_list* & return_val )
{
  DEM_TRACE("Ar_Vertex","void Ar_Vertex::get_ar_set_(Vertex_comma_list* & return_val)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}