Searched defs:new_trans (Results 1 – 2 of 2) sorted by relevance
3043 transition *new_trans = new transition (trans->labels, to_news, in populate_pattern_routine() local3685 transition *new_trans = intersecting[0]; in merge_into_decision() local
3041 transition *new_trans = new transition (trans->labels, to_news, in populate_pattern_routine() local3683 transition *new_trans = intersecting[0]; in merge_into_decision() local