#include "treeprop.h"



//  Vertex  = <vertex_name > DemIdent .
void Vertex::ar_print( Ar_Vertex_list*  ar_list )
{
  DEM_TRACE("Vertex","void Vertex::ar_print(Ar_Vertex_list*  ar_list)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls

  // suffix class wrappers
 cout << "A(" ;
                g_print();
                cout  << ") = {" ;
                (ar_list->ar_lookup(this))->g_print();
                cout << "}" << endl;
             

  // assignments for carrying out
}

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

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Vertex_list_iterator	next_Vertex(*this);
  Vertex*		each_Vertex;

  while ( each_Vertex = next_Vertex() )
  {
  // repetition edge prefix wrappers
    each_Vertex->ar_print( ar_list  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}