code: private int countPivots(Type.Field[] pivots) {
  		int count = 0;
  		for(int i=0;i!=pivots.length;++i) {
  			if(pivots[i] != null) {
  				count = count + 1;
  			}
  		}
  		return count;
  	}
docs: Count the number of pivots (i.e. non-null entries) in a given array.
  
  @param pivots
  @return