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