Searched refs:realloc_substitution (Results 1 – 1 of 1) sorted by relevance
353 static void realloc_substitution(struct subst *s, int d) in realloc_substitution() function402 realloc_substitution(s, d); in add_modulo_substitution()971 realloc_substitution(s, dim); in _reduce_evalue_in_domain()