Searched refs:StateTrans (Results 1 – 1 of 1) sorted by relevance
133 UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); in canReserveResources() local135 return CachedTable.count(StateTrans) != 0; in canReserveResources()143 UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); in reserveResources() local145 assert(CachedTable.count(StateTrans) != 0); in reserveResources()146 CurrentState = CachedTable[StateTrans]; in reserveResources()