template<class Base>

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

inline

Fetch a rough measure of amount of memory used to store recording using just lengths, not capacities; see the heading size_op_arg in the file seq_property.omh.

Definition at line 648 of file player.hpp.