#include "pp.h"



void Vertex_selector::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Vertex_selector","void Vertex_selector::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

    

  // suffix class wrappers

}

void Any_term::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Any_term","void Any_term::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Vertex_set::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Vertex_set","void Vertex_set::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Vertex_set_comp::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Vertex_set_comp","void Vertex_set_comp::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Class_set_inst::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Class_set_inst","void Class_set_inst::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Late_selected_terms::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Late_selected_terms","void Late_selected_terms::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Fixed_term::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Fixed_term","void Fixed_term::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

      vertex->get_single_vertex(v);
    

  // suffix class wrappers

}

void Vertex_set_sim::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Vertex_set_sim","void Vertex_set_sim::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

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

  // suffix class wrappers

}

void Term::get_single_vertex( Vertex* &  v )
{
  DEM_TRACE("Term","void Term::get_single_vertex(Vertex* &  v)");
  // prefix class wrappers

       if (this->isTerminal())
         {
           derror('e',1," illegal vertex used in propagation directive: '");
           this->g_print(cout);
           cout << "' on line " << this->get_vertex()->get_vertex_name()->get_line_number() << endl;
           exit(-1);
         }

       v = (Vertex*)this->get_vertex()->g_copy();
    

  // suffix class wrappers

}