Searched refs:substituteVariants (Results 1 – 1 of 1) sorted by relevance
959 void substituteVariants(const PredTransition &Trans);1258 void PredTransitions::substituteVariants(const PredTransition &Trans) { in substituteVariants() function in PredTransitions1379 Transitions.substituteVariants(*I); in inferFromRW()