/*   Generated by AspectJ version 0.7beta7 */
import Neighbors;
import UniversalVisitor;
import Adj;
import Vertex;
import Parser;
import ParseException;
public class Adj extends java.lang.Object  {                //from Adj.java:2
  protected Vertex vertex;                                  //from Adj.java:3
  public Vertex get_vertex()  {                             //from Adj.java:4
    return vertex;                                          //from Adj.java:4
  }

  public void set_vertex(Vertex new_vertex)  {              //from Adj.java:5
    vertex = new_vertex;                                    //from Adj.java:5
  }

  protected Neighbors ns;                                   //from Adj.java:6
  public Neighbors get_ns()  {                              //from Adj.java:7
    return ns;                                              //from Adj.java:7
  }

  public void set_ns(Neighbors new_ns)  {                   //from Adj.java:8
    ns = new_ns;                                            //from Adj.java:8
  }

  public Adj()  {                                           //from Adj.java:9
    super();                                                //from Adj.java:9
    ;                                                       //from Adj.java:9
  }

  public Adj(Vertex vertex, Neighbors ns)  {                //from Adj.java:10
    super();                                                //from Adj.java:11
    ;                                                       //from Adj.java:11
    set_vertex(vertex);                                     //from Adj.java:12
    set_ns(ns);                                             //from Adj.java:13
  }

  public static Adj parse(java.io.Reader in) throws ParseException  {  //from Adj.java:15
    return new Parser(in)._Adj();                           //from Adj.java:15
  }

  public static Adj parse(java.io.InputStream in) throws ParseException  {  //from Adj.java:16
    return new Parser(in)._Adj();                           //from Adj.java:16
  }

  public static Adj parse(java.lang.String s)  {            //from Adj.java:17
    try  {                                                  //from Adj.java:18
      return parse(new java.io.StringReader(s));            //from Adj.java:18
    }
    catch (ParseException e)  {                             //from Adj.java:19
      throw new java.lang.RuntimeException(e.toString());   //from Adj.java:20
    }
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from Adj.java:23
    ((UniversalVisitor)_v_).before(this);                   //from Adj.java:24
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Adj.java:27
    ((UniversalVisitor)_v_).after(this);                    //from Adj.java:28
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Adj.java:31
    universal_trv0_bef(_v_);                                //from Adj.java:32
    ((UniversalVisitor)_v_).before_vertex(this, vertex);    //from Adj.java:33
    vertex.universal_trv0(_v_);                             //from Adj.java:34
    ((UniversalVisitor)_v_).after_vertex(this, vertex);     //from Adj.java:35
    ((UniversalVisitor)_v_).before_ns(this, ns);            //from Adj.java:36
    ns.universal_trv0(_v_);                                 //from Adj.java:37
    ((UniversalVisitor)_v_).after_ns(this, ns);             //from Adj.java:38
    universal_trv0_aft(_v_);                                //from Adj.java:39
  }

  void allInh_Cd_graph_trv_bef(UniversalVisitor v)  {       //from Adj.java:42
    ((UniversalVisitor)v).before(this);                     //from Adj.java:43
  }

  void allInh_Cd_graph_trv_aft(UniversalVisitor v)  {       //from Adj.java:46
    ((UniversalVisitor)v).after(this);                      //from Adj.java:47
  }

  void allInh_Cd_graph_trv(java.util.BitSet nodes, UniversalVisitor v)  {  //from Adj.java:50
    allInh_Cd_graph_trv_bef(v);                             //from Adj.java:51
    {                                                       //from Adj.java:52
      java.util.BitSet newnodes = new java.util.BitSet();   //from Adj.java:52
      newnodes.set(0);                                      //from Adj.java:53
      newnodes.and(nodes);                                  //from Adj.java:54
      if (!newnodes.equals(new java.util.BitSet()))  {      //from Adj.java:55
        ((UniversalVisitor)v).before_ns(this, ns);          //from Adj.java:56
        ns.allInh_Cd_graph_trv(newnodes, v);                //from Adj.java:57
        ((UniversalVisitor)v).after_ns(this, ns);           //from Adj.java:58
      }
    }
    allInh_Cd_graph_trv_aft(v);                             //from Adj.java:61
  }

}