Searched defs:StateTrans (Results 1 – 1 of 1) sorted by relevance
70 UnsignPair StateTrans = UnsignPair(CurrentState, FuncUnits); in canReserveResources() local82 UnsignPair StateTrans = UnsignPair(CurrentState, FuncUnits); in reserveResources() local