template<class Vector >

void CppAD::vectorBool::push_vector ( const Vector &  v )

inline

add vector to the back of this vector

Parameters

v	value of the vector that we are adding

Definition at line 853 of file vector.hpp.