Call Returned Unchanged (11)

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

Comments

Please log in to add comments