/*
 * fake_all_different.c
 *
 *  Created on: 21/01/2017
 *      Author: Pedro
 */

#include "fake_all_different.h"

#include "int_ne.h"

/*
 * Simulates the all-different constraint by using ne binary constraints
 * X_ids - array with the IDs of the variables that are constrained by this constraint
 * n_vs - number of ID variables in vs_id
 * reif_v_id - ID of the reification variable or -1 if none
 */
void c_fake_all_different(unsigned int *X_ids, unsigned int n_vs) {
	unsigned int i, j;

	for (i = 0; i < n_vs; i++) {
		for (j = i + 1; j < n_vs; j++) {
			c_int_ne(X_ids[i], X_ids[j]);
		}
	}
}