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