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