#include "pp.h"



void Vertices_edges::contains( Vertex*  v,int&  r )
{
  DEM_TRACE("Vertices_edges","void Vertices_edges::contains(Vertex*  v,int&  r)");
  // prefix class wrappers

    

  // suffix class wrappers

}

void Require_vertex_selector::contains( Vertex*  v,int&  r )
{
  DEM_TRACE("Require_vertex_selector","void Require_vertex_selector::contains(Vertex*  v,int&  r)");
  // prefix class wrappers

       vertices->contains(v,r);
     

  // suffix class wrappers

}

void Require_meta_edges::contains( Vertex*  v,int&  r )
{
  DEM_TRACE("Require_meta_edges","void Require_meta_edges::contains(Vertex*  v,int&  r)");
  // prefix class wrappers

       if (vertices)
         vertices->contains(v,r);
    

  // suffix class wrappers

}

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

     

  // suffix class wrappers

}

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

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

  // suffix class wrappers

}

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

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

  // suffix class wrappers

}

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

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

  // suffix class wrappers

}

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

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

  // suffix class wrappers

}

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

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

  // suffix class wrappers

}

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

       vertex->contains(v, r);
    

  // suffix class wrappers

}

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

       terms->contains(v, r);
    

  // suffix class wrappers

}

void Fixed_term_Commalist::contains( Vertex*  v,int&  r )
{
  DEM_TRACE("Fixed_term_Commalist","void Fixed_term_Commalist::contains(Vertex*  v,int&  r)");
  // prefix class wrappers

       Fixed_term_list_iterator next(*this);
       Fixed_term*              each;
       while (each = next())
         {
	   each->contains(v, r);
	   if (r)
	     return;
	 }
    

  // suffix class wrappers

}

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

        r = v->get_vertex_name()->g_equal(this->get_vertex()->get_vertex_name());
     

  // suffix class wrappers

}

void Vertices_edges::containsInh( Vertex*  v,Vertex*  w,int&  r )
{
  DEM_TRACE("Vertices_edges","void Vertices_edges::containsInh(Vertex*  v,Vertex*  w,int&  r)");
  // prefix class wrappers

     

  // suffix class wrappers

}

void Require_vertex_selector::containsInh( Vertex*  v,Vertex*  w,int&  r )
{
  DEM_TRACE("Require_vertex_selector","void Require_vertex_selector::containsInh(Vertex*  v,Vertex*  w,int&  r)");
  // prefix class wrappers

       if (edges)
         edges->containsInh(v,w,r);
     

  // suffix class wrappers

}

void Require_meta_edges::containsInh( Vertex*  v,Vertex*  w,int&  r )
{
  DEM_TRACE("Require_meta_edges","void Require_meta_edges::containsInh(Vertex*  v,Vertex*  w,int&  r)");
  // prefix class wrappers

      if (edges)
        edges->containsInh(v,w,r);
     

  // suffix class wrappers

}

void Meta_edges::containsInh( Vertex*  v,Vertex*  w,int&  r )
{
  DEM_TRACE("Meta_edges","void Meta_edges::containsInh(Vertex*  v,Vertex*  w,int&  r)");
  // prefix class wrappers

       r = edges->isInhEdgeInTheList(v, w);
     

  // suffix class wrappers

}

void Vertices_edges::containsRep( Vertex*  v,Term*  w,int&  r )
{
  DEM_TRACE("Vertices_edges","void Vertices_edges::containsRep(Vertex*  v,Term*  w,int&  r)");
  // prefix class wrappers

    

  // suffix class wrappers

}

void Require_vertex_selector::containsRep( Vertex*  v,Term*  w,int&  r )
{
  DEM_TRACE("Require_vertex_selector","void Require_vertex_selector::containsRep(Vertex*  v,Term*  w,int&  r)");
  // prefix class wrappers

       if (edges)
         edges->containsRep(v,w,r);
     

  // suffix class wrappers

}

void Require_meta_edges::containsRep( Vertex*  v,Term*  w,int&  r )
{
  DEM_TRACE("Require_meta_edges","void Require_meta_edges::containsRep(Vertex*  v,Term*  w,int&  r)");
  // prefix class wrappers

       edges->containsRep(v,w,r);
     

  // suffix class wrappers

}

void Meta_edges::containsRep( Vertex*  v,Term*  w,int&  r )
{
  DEM_TRACE("Meta_edges","void Meta_edges::containsRep(Vertex*  v,Term*  w,int&  r)");
  // prefix class wrappers

       r = edges->isRepEdgeInTheList(v, w);
    

  // suffix class wrappers

}

void Vertices_edges::containsCons( Vertex*  v,DemIdent*  l,Term*  w,int&  r )
{
  DEM_TRACE("Vertices_edges","void Vertices_edges::containsCons(Vertex*  v,DemIdent*  l,Term*  w,int&  r)");
  // prefix class wrappers

     

  // suffix class wrappers

}

void Require_vertex_selector::containsCons( Vertex*  v,DemIdent*  l,Term*  w,int&  r )
{
  DEM_TRACE("Require_vertex_selector","void Require_vertex_selector::containsCons(Vertex*  v,DemIdent*  l,Term*  w,int&  r)");
  // prefix class wrappers

       if (edges)
         edges->containsCons(v,l,w,r);
     

  // suffix class wrappers

}

void Require_meta_edges::containsCons( Vertex*  v,DemIdent*  l,Term*  w,int&  r )
{
  DEM_TRACE("Require_meta_edges","void Require_meta_edges::containsCons(Vertex*  v,DemIdent*  l,Term*  w,int&  r)");
  // prefix class wrappers

       edges->containsCons(v,l,w,r);
     

  // suffix class wrappers

}

void Meta_edges::containsCons( Vertex*  v,DemIdent*  l,Term*  w,int&  r )
{
  DEM_TRACE("Meta_edges","void Meta_edges::containsCons(Vertex*  v,DemIdent*  l,Term*  w,int&  r)");
  // prefix class wrappers

        r = edges->isConsEdgeInTheList(v,l,w);
     

  // suffix class wrappers

}