CppAD: A C++ Algorithmic Differentiation Package 20110419
template<class Base>
void player< Base >::ReplaceInd ( size_t  i,
size_t  value 
) [inline]

Replace an argument index in the recording.

Parameters:
iis the index, in argument indices, that is to be replaced.
valueis the new normal index value.

Definition at line 393 of file player.hpp.