/*
 * ge.c
 *
 *  Created on: 22/01/2017
 *      Author: Pedro
 */

#include "ge.h"

#include "int_le.h"

/*
 * Creates a new constraint of the ge type
 * x ≥ y
 * x_id - ID of variable x
 * y_id - ID of variable y
 */
unsigned int c_ge(unsigned int x_id, unsigned int y_id) {
	return c_int_le(y_id, x_id);
}

/*
 * Creates a new reified constraint of the ge type
 * x ≥ y
 * x_id - ID of variable x
 * y_id - ID of variable y
 * reif_v_id - ID of the reification variable
 */
unsigned int c_ge_reif(unsigned int x_id, unsigned int y_id, int reif_v_id) {
	return c_int_le_reif(y_id, x_id, reif_v_id);
}