advance_cartesian_product alloc calloc copy fprintf fscanf get glex gsldata gslobj gslobj is_set isnull load max max_index min operator!= operator() operator() operator*= operator*= operator+= operator+= operator-= operator/= operator/= operator= operator== operator[] operator[] resize reverse save set set_all set_basis set_zero size sum swap_elements vector_int vector_int vector_int ~vector_int

int vector_int::operator*= ( int  x ) [inline] Function to scale a vector by a constant integer factor. Overloads the /= operator. This function multiplies the elements of vector a by the constant integer factor x, a'_i = x a_i.