Searched refs:SimplifyMaxDisjuncts (Results 1 – 1 of 1) sorted by relevance
39 static int const SimplifyMaxDisjuncts = 4; variable98 SimplifyMaxDisjuncts) in underapproximatedAddMap()103 if (Result.n_basic_map() > SimplifyMaxDisjuncts) in underapproximatedAddMap()108 if (isl_map_n_basic_map(Result.get()) > SimplifyMaxDisjuncts) in underapproximatedAddMap()