Lines Matching refs:play
126 bool check_map_user_op(const player<Base>* play) const in check_map_user_op()
132 { OpCode op = play->GetOp(i_op); in check_map_user_op()
136 op = play->GetOp(++i_op); in check_map_user_op()
142 op = play->GetOp(++i_op); in check_map_user_op()
264 void set_map_user_op(const player<Base>* play) in set_map_user_op() argument
267 CPPAD_ASSERT_UNKNOWN( n_op_ == play->num_op_rec() ); in set_map_user_op()
268 CPPAD_ASSERT_UNKNOWN( n_var_ == play->num_var_rec() ); in set_map_user_op()
276 OpCode op = play->GetOp(i_op); in set_map_user_op()
287 op = play->GetOp(++i_op); in set_map_user_op()
294 op = play->GetOp(++i_op); in set_map_user_op()
306 const player<Base>* play ,
313 const player<Base>* play ,