IntSet function ( int arg0 ) { return arg0 <= DOMFRONT_SET_THRESHOLD_SIZE ? new BitIntSet ( arg0 ) : new ListIntSet ( ) ; }
make intset for the dominance-frontier sets . concode_field_sep int INTERFERENCE_SET_THRESHOLD_SIZE concode_elem_sep int DOMFRONT_SET_THRESHOLD_SIZE concode_elem_sep int LIVENESS_SET_THRESHOLD_SIZE concode_field_sep IntSet makeLivenessSet concode_elem_sep IntSet makeInterferenceSet