CppAD: A C++ Algorithmic Differentiation Package
20130102
|
void player< Base >::ReplaceInd | ( | size_t | i, |
size_t | value | ||
) | [inline] |
Replace an argument index in the recording.
i | is the index, in argument indices, that is to be replaced. |
value | is the new normal index value. |
Definition at line 237 of file player.hpp.