CppAD: A C++ Algorithmic Differentiation Package 20110419
template<class Base>
char* player< Base >::rec_text_ [private]

Character strings ('\0' terminated) in the recording.

Definition at line 69 of file player.hpp.

Referenced by player< Base >::Erase(), player< Base >::GetTxt(), player< Base >::operator=(), player< Base >::player(), recorder< Base >::PutTxt(), and player< Base >::~player().