private boolean done(Type type){
  return visited.contains(type);
}

private boolean done ( Type type ) { return visited . contains ( type ) ; }
whether a type has already beens sufficiently processed .
