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