template<typename Base >

bool CppAD::local::subgraph::subgraph_info::check_map_user_op ( const player< Base > *  play ) const

inline

check that the value of map_user_op is OK for this operation sequence

Parameters

play	is the player for this operation sequence.

Returns

is true, if map_user_op has the correct value for this operation sequence (is the same as it would be after a set_map_user_op).

Definition at line 126 of file info.hpp.

Referenced by CppAD::local::subgraph::subgraph_sparsity().