Searched refs:TrAmlGetNextTempName (Results 1 – 1 of 1) sorted by relevance
165 TrAmlGetNextTempName (215 TrAmlGetNextTempName ( in TrAmlGetNextTempName() function603 PredicateValueName = TrAmlGetNextTempName (StartNode, &Gbl_TempCount); in TrDoSwitch()