Call Returned Unchanged (10)

if expression state at time t = "call_returned", then Control Map at time (t + 1) = Control Map at time t

Comments

Please log in to add comments