isReachableFrom

Return

true if the provided status can be reached from this status (i.e., if the simulation lifecycle allows to get from the current status to the provided one).

Parameters

s

the destination status