code: @SuppressWarnings("unchecked")
  	@Override
  	public <T> T[] toArray(T[] array) {
  		return (T[])(booleanTerms == null ? new BooleanTerm[0] : booleanTerms.toArray(new BooleanTerm[booleanTerms.size()]));
  	}
docs: /* (non-Javadoc)
  @see java.util.Set#toArray(T[])