Name | Description | Pseudo-code |
substituteInternalWithExternalResource | NrInternalResources = NrInternalResources - 1; NrExternalResources = NrExternalResources + 1; | |
releaseResource | ctrMissions2 = ctrMissions2 + 1; if ctrMissions2 == 1 { SuperObserverInitiated = SuperObserverInitiated01; } if ctrMissions2 == 2 { SuperObserverInitiated = SuperObserverInitiated02; } |