template<class Type>

template<class Vector >

void CppAD::vector< Type >::push_vector ( const Vector &  v )

inline

add vector to the back of this vector

(we could not use push_back because MS V++ 7.1 did not resolve to non-template member function when scalar is used.)

Parameters

v	value of the vector that we are adding

Definition at line 533 of file vector.hpp.