Searched refs:assumed_int_CR (Results 1 – 1 of 1) sorted by relevance
778 return new assumed_int_CR(this); in assumeInt()1012 class assumed_int_CR extends CR { class1014 assumed_int_CR(CR x) { in assumed_int_CR() method in assumed_int_CR