Edge.pde

class Edge extends Gui_element{
  Vertex v1,v2;
  boolean searched=false;
  Edge(Vertex _v1, Vertex _v2){
    v1=_v1;v2=_v2;
    v1.E.add(this);
    v2.E.add(this);
  }
  void draw(){
    strokeWeight(2);
    stroke(0,0,255);
    line(v1.x,v1.y,v2.x,v2.y);
  }
}