pushIfUnique static method

void pushIfUnique(
  1. dynamic array,
  2. Vertex object
)

Implementation

static void pushIfUnique(array, Vertex object) {
  if ( array.indexOf( object ) == - 1 ) array.add( object );
}