template<class Base >

addr_t CppAD::local::recorder< Base >::PutTxt ( const char *  text )

inline

Put a character string in the text for this recording.

Parameters

text	is a '\0' terminated character string that is to be put in the vector of characters corresponding to this recording. The terminator '\0' will be included.

Returns

is the offset with in the text vector for this recording at which the character string starts.

Definition at line 585 of file recorder.hpp.

Referenced by CppAD::local::optimize::optimize_run().