#include "treeprop.h"



Vertex_comma_list*  Ar_Vertex_list::compute_s_naught(  )
{
  DEM_TRACE("Ar_Vertex_list","Vertex_comma_list*  Ar_Vertex_list::compute_s_naught()");
  Vertex_comma_list*  return_val =  new Vertex_comma_list ;

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

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls

  // suffix class wrappers
 return_val->set_union(ar); 

  // assignments for carrying out
}

//  Ar_Vertex_list  ~  { Ar_Vertex  }. .
void Ar_Vertex_list::compute_s_naught_( Vertex_comma_list* & return_val )
{
  DEM_TRACE("Ar_Vertex_list","void Ar_Vertex_list::compute_s_naught_(Vertex_comma_list* & return_val)");
  // 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->compute_s_naught_( return_val );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}