Searched refs:StateTrans (Results 1 – 1 of 1) sorted by relevance
70 UnsignPair StateTrans = UnsignPair(CurrentState, FuncUnits); in canReserveResources() local72 return (CachedTable.count(StateTrans) != 0); in canReserveResources()82 UnsignPair StateTrans = UnsignPair(CurrentState, FuncUnits); in reserveResources() local84 assert(CachedTable.count(StateTrans) != 0); in reserveResources()85 CurrentState = CachedTable[StateTrans]; in reserveResources()