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