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