参照元†
- routine_type type
- state *s
- vec <state *> &procs
返り値†
/* Turn S into a subroutine of type TYPE and add it to PROCS. Return a new
state that performs a subroutine call to S. */
static state *
create_subroutine (routine_type type, state *s, vec <state *> &procs)
{
procs.safe_push (s);
acceptance_type acceptance;
acceptance.type = type;
acceptance.partial_p = true;
acceptance.u.subroutine_id = procs.length ();
state *news = new state;
add_decision (news, rtx_test::accept (acceptance), true, false);
return news;
}
コメント†