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