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