Searched refs:SubstitutedAny (Results 1 – 1 of 1) sorted by relevance
1777 bool SubstitutedAny; in inferFromRW() local1779 SubstitutedAny = false; in inferFromRW()1782 SubstitutedAny |= Transitions.substituteVariants(Trans); in inferFromRW()1785 } while (SubstitutedAny); in inferFromRW()