Searched refs:SubstitutedAny (Results 1 – 1 of 1) sorted by relevance
1794 bool SubstitutedAny; in inferFromRW() local1796 SubstitutedAny = false; in inferFromRW()1799 SubstitutedAny |= Transitions.substituteVariants(Trans); in inferFromRW()1802 } while (SubstitutedAny); in inferFromRW()