Searched defs:StateTrans (Results 1 – 1 of 1) sorted by relevance
117 UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); in canReserveResources() local127 UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); in reserveResources() local