void vector_i_print

(FILE* file, int* vector, int len, char* tab,
  char* separator, char* ending)

Writes an integer vector (without parenthesis)

Documentation

Writes an integer vector (without parenthesis)

Parameters:

file - output file
vector - vector to write
len - dimension
tab - format: leading tabs
separator - format: separator for columns
ending - format: end of a row

Alphabetic index