*operation* void contains(Vertex* v, int& r)
  *wrapper* Vertices_edges
    *prefix*
    (@
    @)
  *wrapper* Require_vertex_selector
    *prefix*
    (@
       vertices->contains(v,r);
     @)
  *wrapper* Require_meta_edges
    *prefix*
    (@
       if (vertices)
         vertices->contains(v,r);
    @)
  *wrapper* Vertex_selector
    *prefix*
    (@
     @)
  *wrapper* Any_term
    *prefix*
    (@
       derror('i',1," unexpected visit at Any_term::contains\n");
       abort();
     @)
  *wrapper* Vertex_set
    *prefix*
    (@
       derror('i',1," unexpected visit at Vertex_set::contains\n");
       abort();
     @)
  *wrapper* Vertex_set_comp
    *prefix*
    (@
       derror('i',1," unexpected visit at Vertex_set_comp::contains\n");
       abort();
    @)
  *wrapper* Class_set_inst
    *prefix*
    (@
       derror('i',1," unexpected visit at Class_set_inst::contains\n");
       abort();
    @)
  *wrapper* Late_selected_terms
    *prefix*
    (@
       derror('i',1," unexpected visit at Late_selected_terms::contains\n");
       abort();
    @)
  *wrapper* Fixed_term
    *prefix*
    (@
       vertex->contains(v, r);
    @)
  *wrapper* Vertex_set_sim
    *prefix*
    (@
       terms->contains(v, r);
    @)
  *wrapper* Fixed_term_Commalist
    *prefix*
    (@
       Fixed_term_list_iterator next(*this);
       Fixed_term*              each;
       while (each = next())
         {
	   each->contains(v, r);
	   if (r)
	     return;
	 }
    @)
  *wrapper* Term
    *prefix*
    (@
        r = v->get_vertex_name()->g_equal(this->get_vertex()->get_vertex_name());
     @)


*operation* void containsInh(Vertex* v, Vertex* w, int& r)
  *wrapper* Vertices_edges
    *prefix*
    (@
     @)
  *wrapper* Require_vertex_selector
    *prefix*
    (@
       if (edges)
         edges->containsInh(v,w,r);
     @)
  *wrapper* Require_meta_edges
    *prefix*
    (@
      if (edges)
        edges->containsInh(v,w,r);
     @)
  *wrapper* Meta_edges
    *prefix*
    (@
       r = edges->isInhEdgeInTheList(v, w);
     @)

*operation* void containsRep(Vertex* v, Term* w, int& r)
  *wrapper* Vertices_edges
    *prefix*
    (@
    @)
  *wrapper* Require_vertex_selector
    *prefix*
    (@
       if (edges)
         edges->containsRep(v,w,r);
     @)
  *wrapper* Require_meta_edges
    *prefix*
    (@
       edges->containsRep(v,w,r);
     @)
  *wrapper* Meta_edges
    *prefix*
    (@
       r = edges->isRepEdgeInTheList(v, w);
    @)


*operation* void containsCons(Vertex* v, DemIdent* l, Term* w, int& r)
  *wrapper* Vertices_edges
    *prefix*
    (@
     @)
  *wrapper* Require_vertex_selector
    *prefix*
    (@
       if (edges)
         edges->containsCons(v,l,w,r);
     @)
  *wrapper* Require_meta_edges
    *prefix*
    (@
       edges->containsCons(v,l,w,r);
     @)
  *wrapper* Meta_edges
    *prefix*
    (@
        r = edges->isConsEdgeInTheList(v,l,w);
     @)