template<class Base>

size_t CppAD::local::player< Base >::num_op_arg_rec ( void  ) const

inline

Fetch number of argument indices in the recording.

Definition at line 634 of file player.hpp.

Referenced by CppAD::local::player< double >::Memory().