#include "pp.h"



//  Class_set_def  = <class_set_name > Class_set_def_name 
//                "=" 
//                <class_set > Vertex_selector 
//                ";" .
void Class_set_def::find_set( Vertex_selector* &  r,DemIdent*  set_name )
{
  DEM_TRACE("Class_set_def","void Class_set_def::find_set(Vertex_selector* &  r,DemIdent*  set_name)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

       if (this->get_class_set_name()->get_name()->g_equal(set_name))
         r = this->get_class_set();
    

  // outgoing calls

  // suffix class wrappers

  // assignments for carrying out
}

//  Class_set_def_Amplist  ~ Class_set_def  { Class_set_def  }. .
void Class_set_def_Amplist::find_set( Vertex_selector* &  r,DemIdent*  set_name )
{
  DEM_TRACE("Class_set_def_Amplist","void Class_set_def_Amplist::find_set(Vertex_selector* &  r,DemIdent*  set_name)");
  // variables for carrying in and out

  // assignments for carrying in

  // prefix class wrappers

  // outgoing calls
  Class_set_def_list_iterator	next_Class_set_def(*this);
  Class_set_def*		each_Class_set_def;

  while ( each_Class_set_def = next_Class_set_def() )
  {
  // repetition edge prefix wrappers
    each_Class_set_def->find_set( r ,  set_name  );
  // repetition edge suffix wrappers
  }

  // suffix class wrappers

  // assignments for carrying out
}