#include "treeprop.h"



int Vertex_comma_list::tree_prop( Ar_Vertex_list*  arv_list )
{
  DEM_TRACE("Vertex_comma_list","int Vertex_comma_list::tree_prop(Ar_Vertex_list*  arv_list)");
  int return_val =  1 ;

  this->tree_prop_( return_val, arv_list  );
  return return_val;
}
//  Vertex  = <vertex_name > DemIdent .
void Vertex::tree_prop_( int& return_val, Ar_Vertex_list*  arv_list )
{
  DEM_TRACE("Vertex","void Vertex::tree_prop_(int& return_val,Ar_Vertex_list*  arv_list)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers
 
      Ar_Vertex_list *c = arv_list->compute_c(this);

      if (!(c->set_contained_ins())) {
        return_val = 0;
      }
    

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

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

  // suffix class wrappers

  // assignments for carrying out
}