public void add(QueueNode newvalue) { verts.Add(newvalue); swim(verts.Count - 1); }
public void update(QueueNode newvalue, int serial) { verts[serial] = newvalue; swim(verts.Count - 1); }