set the value of map_user_op for this operation sequence
- Parameters
-
play | is the player for this operation sequence. It must same number of operators and variables as this subgraph_info object. |
- map_user_op_
- This size of map_user_op_ must be zero when this function is called (which is true after a resize operation). This function sets its size to the number of operations in play. We use the term user OpCocde for the any one of the following: UserOp, UsrapOp, UsravOp, UsrrpOp, or UsrrvOp. Suppose
OpCodce op_i = play->GetOp(i_op);
OpCode op_j = play->GetOP(j_op);
If op is a user OpCode, j_op is the index of the first operator in the corresponding atomic function call and op_j == UserOp. Otherwise j_op == i_op;
Definition at line 264 of file info.hpp.
Referenced by CppAD::local::subgraph::subgraph_sparsity().