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

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

  protected Vertex second;                                  //from Alternat.java:6
  public Vertex get_second()  {                             //from Alternat.java:7
    return second;                                          //from Alternat.java:7
  }

  public void set_second(Vertex new_second)  {              //from Alternat.java:8
    second = new_second;                                    //from Alternat.java:8
  }

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

  public Alternat(Vertex first, Vertex second)  {           //from Alternat.java:10
    super();                                                //from Alternat.java:11
    ;                                                       //from Alternat.java:11
    set_first(first);                                       //from Alternat.java:12
    set_second(second);                                     //from Alternat.java:13
  }

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

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

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

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

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Alternat.java:28
    ((UniversalVisitor)_v_).after(this);                    //from Alternat.java:29
    super.universal_trv0_aft(_v_);                          //from Alternat.java:30
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Alternat.java:33
    universal_trv0_bef(_v_);                                //from Alternat.java:34
    ((UniversalVisitor)_v_).before_first(this, first);      //from Alternat.java:35
    first.universal_trv0(_v_);                              //from Alternat.java:36
    ((UniversalVisitor)_v_).after_first(this, first);       //from Alternat.java:37
    ((UniversalVisitor)_v_).before_second(this, second);    //from Alternat.java:38
    second.universal_trv0(_v_);                             //from Alternat.java:39
    ((UniversalVisitor)_v_).after_second(this, second);     //from Alternat.java:40
    super.universal_trv0(_v_);                              //from Alternat.java:41
    universal_trv0_aft(_v_);                                //from Alternat.java:42
  }

  void allInh_Cd_graph_trv_bef(UniversalVisitor v)  {       //from Alternat.java:45
    super.allInh_Cd_graph_trv_bef(v);                       //from Alternat.java:46
    ((UniversalVisitor)v).before(this);                     //from Alternat.java:47
  }

  void allInh_Cd_graph_trv_aft(UniversalVisitor v)  {       //from Alternat.java:50
    ((UniversalVisitor)v).after(this);                      //from Alternat.java:51
    super.allInh_Cd_graph_trv_aft(v);                       //from Alternat.java:52
  }

  void allInh_Cd_graph_trv(java.util.BitSet nodes, UniversalVisitor v)  {  //from Alternat.java:55
    if (nodes.get(0)) nodes.set(1);                         //from Alternat.java:56
    allInh_Cd_graph_trv_bef(v);                             //from Alternat.java:57
    {                                                       //from Alternat.java:58
      java.util.BitSet newnodes = new java.util.BitSet();   //from Alternat.java:58
      newnodes.set(1);                                      //from Alternat.java:59
      newnodes.and(nodes);                                  //from Alternat.java:60
      if (!newnodes.equals(new java.util.BitSet()))  {      //from Alternat.java:61
        ((UniversalVisitor)v).before_first(this, first);    //from Alternat.java:62
        first.allInh_Cd_graph_trv(newnodes, v);             //from Alternat.java:63
        ((UniversalVisitor)v).after_first(this, first);     //from Alternat.java:64
      }
    }
    {                                                       //from Alternat.java:67
      java.util.BitSet newnodes = new java.util.BitSet();   //from Alternat.java:67
      newnodes.set(1);                                      //from Alternat.java:68
      newnodes.and(nodes);                                  //from Alternat.java:69
      if (!newnodes.equals(new java.util.BitSet()))  {      //from Alternat.java:70
        ((UniversalVisitor)v).before_second(this, second);  //from Alternat.java:71
        second.allInh_Cd_graph_trv(newnodes, v);            //from Alternat.java:72
        ((UniversalVisitor)v).after_second(this, second);   //from Alternat.java:73
      }
    }
    allInh_Cd_graph_trv_aft(v);                             //from Alternat.java:76
  }

}