// This file is automatically generated by DemeterJ.

SubgraphVisitor {
  {{
    private java.util.Stack history = new java.util.Stack();
    public SubgraphVisitor(Object obj) {
      history.push(obj);
    }
  }}

  before Main {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Cd_graph, adjacencies, Adjacency_Nlist {{
    if (is_equal) {
      Cd_graph obj = (Cd_graph) history.peek();
      Object temp1 = obj.get_adjacencies();
      if(temp1==null) { is_equal = false; return; }
      history.push(temp1);
    }
  }}
  after -> Cd_graph, adjacencies, Adjacency_Nlist {{
    if (is_equal) history.pop();
  }}

  before Cd_graph {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Adjacency, source, Vertex {{
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp2 = obj.get_source();
      if(temp2==null) { is_equal = false; return; }
      history.push(temp2);
    }
  }}
  after -> Adjacency, source, Vertex {{
    if (is_equal) history.pop();
  }}

  before -> Adjacency, ns, Neighbors {{
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp3 = obj.get_ns();
      if(temp3==null) { is_equal = false; return; }
      history.push(temp3);
    }
  }}
  after -> Adjacency, ns, Neighbors {{
    if (is_equal) history.pop();
  }}

  before -> Adjacency, supers, SuperClasses {{
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp4 = obj.get_supers();
      if(temp4==null) { is_equal = false; return; }
      history.push(temp4);
    }
  }}
  after -> Adjacency, supers, SuperClasses {{
    if (is_equal) history.pop();
  }}

  before Adjacency {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> SuperClasses, superclass_comma_list, SuperClass_Comma_list {{
    if (is_equal) {
      SuperClasses obj = (SuperClasses) history.peek();
      Object temp5 = obj.get_superclass_comma_list();
      if(temp5==null) { is_equal = false; return; }
      history.push(temp5);
    }
  }}
  after -> SuperClasses, superclass_comma_list, SuperClass_Comma_list {{
    if (is_equal) history.pop();
  }}

  before SuperClasses {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before SuperClass {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp6 = host.get_super_name();
    Object temp7 = ((SuperClass) obj).get_super_name();
    if(temp6 == null && temp7 == null) {}
    else if(temp6 == null ||
            temp7 == null ||
            !temp6.equals(temp7)) { is_equal = false; return; }
  }}

  before Neighbors {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Neighbors_wc, construct_ns, Any_vertex_List {{
    if (is_equal) {
      Neighbors_wc obj = (Neighbors_wc) history.peek();
      Object temp8 = obj.get_construct_ns();
      if(temp8==null) { is_equal = false; return; }
      history.push(temp8);
    }
  }}
  after -> Neighbors_wc, construct_ns, Any_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Neighbors_wc {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Construct_ns {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Alternat_ns, alternat_ns, Term_Bar_list {{
    if (is_equal) {
      Alternat_ns obj = (Alternat_ns) history.peek();
      Object temp9 = obj.get_alternat_ns();
      if(temp9==null) { is_equal = false; return; }
      history.push(temp9);
    }
  }}
  after -> Alternat_ns, alternat_ns, Term_Bar_list {{
    if (is_equal) history.pop();
  }}

  before -> Alternat_ns, common, Common {{
    if (is_equal) {
      Alternat_ns obj = (Alternat_ns) history.peek();
      Object temp10 = obj.get_common();
      if(temp10==null) { is_equal = false; return; }
      history.push(temp10);
    }
  }}
  after -> Alternat_ns, common, Common {{
    if (is_equal) history.pop();
  }}

  before Alternat_ns {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Common {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Any_vertex {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Vertex {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp11 = host.get_vertex_name();
    Object temp12 = ((Vertex) obj).get_vertex_name();
    if(temp11 == null && temp12 == null) {}
    else if(temp11 == null ||
            temp12 == null ||
            !temp11.equals(temp12)) { is_equal = false; return; }
  }}

  before Syntax_vertex {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Regular_syntax {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp13 = host.get_string();
    Object temp14 = ((Regular_syntax) obj).get_string();
    if(temp13 == null && temp14 == null) {}
    else if(temp13 == null ||
            temp14 == null ||
            !temp13.equals(temp14)) { is_equal = false; return; }
  }}

  before -> Opt_labeled_term, vertex, Term {{
    if (is_equal) {
      Opt_labeled_term obj = (Opt_labeled_term) history.peek();
      Object temp15 = obj.get_vertex();
      if(temp15==null) { is_equal = false; return; }
      history.push(temp15);
    }
  }}
  after -> Opt_labeled_term, vertex, Term {{
    if (is_equal) history.pop();
  }}

  before Opt_labeled_term {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Regular {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Labeled {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp16 = host.get_label_name();
    Object temp17 = ((Labeled) obj).get_label_name();
    if(temp16 == null && temp17 == null) {}
    else if(temp16 == null ||
            temp17 == null ||
            !temp16.equals(temp17)) { is_equal = false; return; }
  }}

  before -> Term, vertex, Vertex {{
    if (is_equal) {
      Term obj = (Term) history.peek();
      Object temp18 = obj.get_vertex();
      if(temp18==null) { is_equal = false; return; }
      history.push(temp18);
    }
  }}
  after -> Term, vertex, Vertex {{
    if (is_equal) history.pop();
  }}

  before Term {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Normal {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Optional_term, opt, Opt_labeled_term_Sandwich {{
    if (is_equal) {
      Optional_term obj = (Optional_term) history.peek();
      Object temp19 = obj.get_opt();
      if(temp19==null) { is_equal = false; return; }
      history.push(temp19);
    }
  }}
  after -> Optional_term, opt, Opt_labeled_term_Sandwich {{
    if (is_equal) history.pop();
  }}

  before Optional_term {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before PrintVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((PrintVisitor) obj).get_indent();
    is_equal = is_equal && host.get_needSpace() == ((PrintVisitor) obj).get_needSpace();
  }}

  before CopyVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp20 = host.get_copy();
    Object temp21 = ((CopyVisitor) obj).get_copy();
    if(temp20 == null && temp21 == null) {}
    else if(temp20 == null ||
            temp21 == null ||
            !temp20.equals(temp21)) { is_equal = false; return; }
  }}

  before SubgraphVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor) obj).get_is_equal();
  }}

  before EqualVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((EqualVisitor) obj).get_is_equal();
  }}

  before DisplayVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((DisplayVisitor) obj).get_indent();
  }}

  before TraceVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((TraceVisitor) obj).get_indent();
  }}

  before UniversalVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist {{
    if (is_equal) {
      Adjacency_Nlist obj = (Adjacency_Nlist) history.peek();
      Object temp22 = obj.get_first();
      if(temp22==null) { is_equal = false; return; }
      history.push(temp22);
    }
  }}
  after -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist {{
    if (is_equal) history.pop();
  }}

  before Adjacency_Nlist {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> SuperClass_Comma_list, first, Nonempty_SuperClass_Comma_list {{
    if (is_equal) {
      SuperClass_Comma_list obj = (SuperClass_Comma_list) history.peek();
      Object temp23 = obj.get_first();
      if(temp23==null) { is_equal = false; return; }
      history.push(temp23);
    }
  }}
  after -> SuperClass_Comma_list, first, Nonempty_SuperClass_Comma_list {{
    if (is_equal) history.pop();
  }}

  before SuperClass_Comma_list {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Any_vertex_List, first, Nonempty_Any_vertex_List {{
    if (is_equal) {
      Any_vertex_List obj = (Any_vertex_List) history.peek();
      Object temp24 = obj.get_first();
      if(temp24==null) { is_equal = false; return; }
      history.push(temp24);
    }
  }}
  after -> Any_vertex_List, first, Nonempty_Any_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Any_vertex_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Term_Bar_list, first, Nonempty_Term_Bar_list {{
    if (is_equal) {
      Term_Bar_list obj = (Term_Bar_list) history.peek();
      Object temp25 = obj.get_first();
      if(temp25==null) { is_equal = false; return; }
      history.push(temp25);
    }
  }}
  after -> Term_Bar_list, first, Nonempty_Term_Bar_list {{
    if (is_equal) history.pop();
  }}

  before Term_Bar_list {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List {{
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp26 = obj.get_first();
      if(temp26==null) { is_equal = false; return; }
      history.push(temp26);
    }
  }}
  after -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List {{
    if (is_equal) history.pop();
  }}

  before -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term {{
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp27 = obj.get_inner();
      if(temp27==null) { is_equal = false; return; }
      history.push(temp27);
    }
  }}
  after -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term {{
    if (is_equal) history.pop();
  }}

  before -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List {{
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp28 = obj.get_second();
      if(temp28==null) { is_equal = false; return; }
      history.push(temp28);
    }
  }}
  after -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Opt_labeled_term_Sandwich {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List {{
    if (is_equal) {
      Syntax_vertex_List obj = (Syntax_vertex_List) history.peek();
      Object temp29 = obj.get_first();
      if(temp29==null) { is_equal = false; return; }
      history.push(temp29);
    }
  }}
  after -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Syntax_vertex_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Adjacency_Nlist, it, Adjacency {{
    if (is_equal) {
      Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek();
      Object temp30 = obj.get_it();
      if(temp30==null) { is_equal = false; return; }
      history.push(temp30);
    }
  }}
  after -> Nonempty_Adjacency_Nlist, it, Adjacency {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist {{
    if (is_equal) {
      Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek();
      Object temp31 = obj.get_next();
      if(temp31==null) { is_equal = false; return; }
      history.push(temp31);
    }
  }}
  after -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Adjacency_Nlist {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_SuperClass_Comma_list, it, SuperClass {{
    if (is_equal) {
      Nonempty_SuperClass_Comma_list obj = (Nonempty_SuperClass_Comma_list) history.peek();
      Object temp32 = obj.get_it();
      if(temp32==null) { is_equal = false; return; }
      history.push(temp32);
    }
  }}
  after -> Nonempty_SuperClass_Comma_list, it, SuperClass {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_SuperClass_Comma_list, next, Nonempty_SuperClass_Comma_list {{
    if (is_equal) {
      Nonempty_SuperClass_Comma_list obj = (Nonempty_SuperClass_Comma_list) history.peek();
      Object temp33 = obj.get_next();
      if(temp33==null) { is_equal = false; return; }
      history.push(temp33);
    }
  }}
  after -> Nonempty_SuperClass_Comma_list, next, Nonempty_SuperClass_Comma_list {{
    if (is_equal) history.pop();
  }}

  before Nonempty_SuperClass_Comma_list {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Any_vertex_List, it, Any_vertex {{
    if (is_equal) {
      Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek();
      Object temp34 = obj.get_it();
      if(temp34==null) { is_equal = false; return; }
      history.push(temp34);
    }
  }}
  after -> Nonempty_Any_vertex_List, it, Any_vertex {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List {{
    if (is_equal) {
      Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek();
      Object temp35 = obj.get_next();
      if(temp35==null) { is_equal = false; return; }
      history.push(temp35);
    }
  }}
  after -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Any_vertex_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Term_Bar_list, it, Term {{
    if (is_equal) {
      Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek();
      Object temp36 = obj.get_it();
      if(temp36==null) { is_equal = false; return; }
      history.push(temp36);
    }
  }}
  after -> Nonempty_Term_Bar_list, it, Term {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list {{
    if (is_equal) {
      Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek();
      Object temp37 = obj.get_next();
      if(temp37==null) { is_equal = false; return; }
      history.push(temp37);
    }
  }}
  after -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Term_Bar_list {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Syntax_vertex_List, it, Syntax_vertex {{
    if (is_equal) {
      Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek();
      Object temp38 = obj.get_it();
      if(temp38==null) { is_equal = false; return; }
      history.push(temp38);
    }
  }}
  after -> Nonempty_Syntax_vertex_List, it, Syntax_vertex {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List {{
    if (is_equal) {
      Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek();
      Object temp39 = obj.get_next();
      if(temp39==null) { is_equal = false; return; }
      history.push(temp39);
    }
  }}
  after -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Syntax_vertex_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  return boolean {{ is_equal }}
}