/*   Generated by AspectJ version 0.7beta7 */
import UniversalVisitor;
import Cd_graph;
import Count;
import Adj;
import Parser;
import ParseException;
import Adj_list;
public class Cd_graph extends Adj_list  {                   //from Cd_graph.java:2
  protected Adj first;                                      //from Cd_graph.java:3
  public Adj get_first()  {                                 //from Cd_graph.java:4
    return first;                                           //from Cd_graph.java:4
  }

  public void set_first(Adj new_first)  {                   //from Cd_graph.java:5
    first = new_first;                                      //from Cd_graph.java:5
  }

  protected Adj_list rest;                                  //from Cd_graph.java:6
  public Adj_list get_rest()  {                             //from Cd_graph.java:7
    return rest;                                            //from Cd_graph.java:7
  }

  public void set_rest(Adj_list new_rest)  {                //from Cd_graph.java:8
    rest = new_rest;                                        //from Cd_graph.java:8
  }

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

  public Cd_graph(Adj first, Adj_list rest)  {              //from Cd_graph.java:10
    super();                                                //from Cd_graph.java:11
    ;                                                       //from Cd_graph.java:11
    set_first(first);                                       //from Cd_graph.java:12
    set_rest(rest);                                         //from Cd_graph.java:13
  }

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

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

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

  int countInhRels()  {                                     //from Cd_graph.java:23
    int thisResult = Count.around$ajc0(this, null);
    return thisResult;
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from Cd_graph.java:27
    super.universal_trv0_bef(_v_);                          //from Cd_graph.java:28
    ((UniversalVisitor)_v_).before(this);                   //from Cd_graph.java:29
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Cd_graph.java:32
    ((UniversalVisitor)_v_).after(this);                    //from Cd_graph.java:33
    super.universal_trv0_aft(_v_);                          //from Cd_graph.java:34
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Cd_graph.java:37
    universal_trv0_bef(_v_);                                //from Cd_graph.java:38
    ((UniversalVisitor)_v_).before_first(this, first);      //from Cd_graph.java:39
    first.universal_trv0(_v_);                              //from Cd_graph.java:40
    ((UniversalVisitor)_v_).after_first(this, first);       //from Cd_graph.java:41
    ((UniversalVisitor)_v_).before_rest(this, rest);        //from Cd_graph.java:42
    rest.universal_trv0(_v_);                               //from Cd_graph.java:43
    ((UniversalVisitor)_v_).after_rest(this, rest);         //from Cd_graph.java:44
    super.universal_trv0(_v_);                              //from Cd_graph.java:45
    universal_trv0_aft(_v_);                                //from Cd_graph.java:46
  }

  public void allInh(UniversalVisitor v)  {                 //from Cd_graph.java:49
    java.util.BitSet startSet = new java.util.BitSet();     //from Cd_graph.java:50
    startSet.set(0);                                        //from Cd_graph.java:51
    allInh_Cd_graph_trv(startSet, v);                       //from Cd_graph.java:52
  }

  void allInh_Cd_graph_trv_bef(UniversalVisitor v)  {       //from Cd_graph.java:55
    super.allInh_Cd_graph_trv_bef(v);                       //from Cd_graph.java:56
    ((UniversalVisitor)v).before(this);                     //from Cd_graph.java:57
  }

  void allInh_Cd_graph_trv_aft(UniversalVisitor v)  {       //from Cd_graph.java:60
    ((UniversalVisitor)v).after(this);                      //from Cd_graph.java:61
    super.allInh_Cd_graph_trv_aft(v);                       //from Cd_graph.java:62
  }

  void allInh_Cd_graph_trv(java.util.BitSet nodes, UniversalVisitor v)  {  //from Cd_graph.java:65
    allInh_Cd_graph_trv_bef(v);                             //from Cd_graph.java:66
    {                                                       //from Cd_graph.java:67
      java.util.BitSet newnodes = new java.util.BitSet();   //from Cd_graph.java:67
      newnodes.set(0);                                      //from Cd_graph.java:68
      newnodes.and(nodes);                                  //from Cd_graph.java:69
      if (!newnodes.equals(new java.util.BitSet()))  {      //from Cd_graph.java:70
        ((UniversalVisitor)v).before_first(this, first);    //from Cd_graph.java:71
        first.allInh_Cd_graph_trv(newnodes, v);             //from Cd_graph.java:72
        ((UniversalVisitor)v).after_first(this, first);     //from Cd_graph.java:73
      }
    }
    {                                                       //from Cd_graph.java:76
      java.util.BitSet newnodes = new java.util.BitSet();   //from Cd_graph.java:76
      newnodes.set(0);                                      //from Cd_graph.java:77
      newnodes.and(nodes);                                  //from Cd_graph.java:78
      if (!newnodes.equals(new java.util.BitSet()))  {      //from Cd_graph.java:79
        ((UniversalVisitor)v).before_rest(this, rest);      //from Cd_graph.java:80
        rest.allInh_Cd_graph_trv(newnodes, v);              //from Cd_graph.java:81
        ((UniversalVisitor)v).after_rest(this, rest);       //from Cd_graph.java:82
      }
    }
    allInh_Cd_graph_trv_aft(v);                             //from Cd_graph.java:85
  }

  public final int countInhRels$Cd_graph$reception()  {     //from Cd_graph.java:23
    this.allInh(new UniversalVisitor() {                    //from Cd_graph.java:24
    }                                                       //from Cd_graph.java:24
    );
    return 0;                                               //from Cd_graph.java:25
  }

  public final int countInhRels$Cd_graph$around$reception()  {  //from Cd_graph.java:23
    Count.before$ajc0(this, null);
    int thisResult = 0;
    thisResult = ((Cd_graph)this).countInhRels$Cd_graph$reception();
    return thisResult;
  }

}