Searched refs:substituteVariants (Results 1 – 1 of 1) sorted by relevance
1362 bool substituteVariants(const PredTransition &Trans);1636 bool PredTransitions::substituteVariants(const PredTransition &Trans) { in substituteVariants() function in PredTransitions1799 SubstitutedAny |= Transitions.substituteVariants(Trans); in inferFromRW()