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

#include "gt.h"

#include "int_lt.h"

/*
 * Creates a new constraint of the gt type
 * x < y
 * x_id - ID of variable x
 * y_id - ID of variable y
 */
unsigned int c_gt(unsigned int x_id, unsigned int y_id) {
	return c_int_lt(y_id, x_id);
}

/*
 * Creates a new reified constraint of the gt 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_gt_reif(unsigned int x_id, unsigned int y_id, int reif_v_id) {
	return c_int_lt_reif(y_id, x_id, reif_v_id);
}