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