Searched refs:StateTrans (Results 1 – 2 of 2) 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()
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()