#include "pp.h"



void Vertex_selector::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Vertex_selector","void Vertex_selector::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

     

  // suffix class wrappers

}

void Any_term::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Any_term","void Any_term::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       derror('i',1," unexpected visit at Any_term::alternationReachable\n");
       abort();
     

  // suffix class wrappers

}

void Vertex_set::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Vertex_set","void Vertex_set::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       derror('i',1," unexpected visit at Vertex_set::alternationReachable\n");
       abort();
     

  // suffix class wrappers

}

void Vertex_set_comp::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Vertex_set_comp","void Vertex_set_comp::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       derror('i',1," unexpected visit at Vertex_set_comp::alternationReachable\n");
       abort();
    

  // suffix class wrappers

}

void Class_set_inst::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Class_set_inst","void Class_set_inst::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       derror('i',1," unexpected visit at Class_set_inst::alternationReachable\n");
       abort();
    

  // suffix class wrappers

}

void Late_selected_terms::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Late_selected_terms","void Late_selected_terms::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       derror('i',1," unexpected visit at Late_selected_terms::alternationReachable\n");
       abort();
    

  // suffix class wrappers

}

void Fixed_term::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Fixed_term","void Fixed_term::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       schema->alternationReachable(schema,vertex->get_vertex(),t,targetAssociated);
    

  // suffix class wrappers

}

void Vertex_set_sim::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Vertex_set_sim","void Vertex_set_sim::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       terms->alternationReachable(schema,t,targetAssociated);
    

  // suffix class wrappers

}

void Fixed_term_Commalist::alternationReachable( Cd_graph*  schema,Vertex*  t,int&  targetAssociated )
{
  DEM_TRACE("Fixed_term_Commalist","void Fixed_term_Commalist::alternationReachable(Cd_graph*  schema,Vertex*  t,int&  targetAssociated)");
  // prefix class wrappers

       Fixed_term_list_iterator next(*this);
       Fixed_term*              each;
       while (each = next())
         {
	   each->alternationReachable(schema,t,targetAssociated);
	   if (targetAssociated)
	     return;
	 }
    

  // suffix class wrappers

}

void Cd_graph::alternationReachable( Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r )
{
  DEM_TRACE("Cd_graph","void Cd_graph::alternationReachable(Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r)");
  // prefix class wrappers

           if (f->equal(t))
           {
              r = 1;
              return;
           }
           adjacencies->alternationReachable(schema, f, t, r);
       

  // suffix class wrappers

}

void Adjacency_Nlist::alternationReachable( Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r )
{
  DEM_TRACE("Adjacency_Nlist","void Adjacency_Nlist::alternationReachable(Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r)");
  // prefix class wrappers

           Adjacency_list_iterator next(*this);
           Adjacency*              each;

           while (each = next())
           {
              if (each->get_source()->equal(t))
              {
                 each->alternationReachable(schema, f, t, r);
                 if (r)
                  return;
              }
           }
       

  // suffix class wrappers

}

void Adjacency::alternationReachable( Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r )
{
  DEM_TRACE("Adjacency","void Adjacency::alternationReachable(Cd_graph*  schema,Vertex*  f,Vertex*  t,int&  r)");
  // prefix class wrappers

           if (this->get_superclasses())
           {

              Vertex_list_iterator next(*this->get_superclasses());
              Vertex*              each;

              while (each = next())
              {
                 schema->alternationReachable(schema, f, each, r);
                 if (r)
                    break;
              }
           }
       

  // suffix class wrappers

}