/*
 * cl_constraints.h
 *
 *  Created on: 19/11/2014
 *      Author: Pedro
 */

#ifndef SRC_KERNELS_CL_CONSTRAINTS_H_
#define SRC_KERNELS_CL_CONSTRAINTS_H_

#ifndef __OPENCL_VERSION__
#include <CL/cl.h>
#include "CL/cl_platform.h"
#endif

// Constraint types
typedef enum {
	ALL_DIFFERENT,
	ARRAY_BOOL_AND,
	ARRAY_BOOL_ELEMENT,
	ARRAY_BOOL_OR,
	ARRAY_BOOL_XOR,
	ARRAY_INT_ELEMENT,
	ARRAY_VAR_INT_ELEMENT,
	AT_LEAST,
	AT_MOST,
	AT_MOST_ONE,
	BOOL_AND,
	BOOL_CLAUSE,
	BOOL_EQ,
	BOOL_LE,
	BOOL_LIN_EQ,
	BOOL_LIN_LE,
	BOOL_LT,
	BOOL_NOT,
	BOOL_OR,
	BOOL_XOR,
	BOOL2INT,
	ELEMENT,
	INT_EQ,
	EXACTLY,
	EXACTLY_VAR,
	INT_DIV,
	INT_EQ_C,
	INT_LE,
	INT_LIN_EQ,
	INT_LIN_LE,
	INT_LIN_NE,
	INT_LIN_VAR,
	INT_LT,
	INT_MAX_,
	INT_MIN_,
	INT_MOD,
	INT_NE,
	INT_PLUS,
	INT_TIMES,
	MAXIMIZE,
	MINIMIZE,
	MINUS_EQ,
	MINUS_NE,
	SUM,
	SUM_PROD,
	SUM_VAR,
	VAR_EQ_MINUS,
	VAR_EQ_MINUS_ABS,
	N_C_TYPES
} c_kind;

// constraint structure used in kernel
struct cl_constrs_ {
	cl_uint v_idx; 			// index of the first variable constrained by this constraint in cs_vs_idx vector
	cl_uint const_idx;		// index of the first constant value (if more than one) constrained by this constraint in cs_const_idx vector
	cl_uint reif_var_id;	// ID of the disjunction variable
	cl_uint kind;			// constraint type
	cl_uint c_id;			// ID of this constraint
	cl_int constant_val;	// Constant value for multiple purposes, depending on the constraint type
	cl_ushort n_c_vs;		// number of constrained variables
	cl_ushort n_c_consts;	// number of constant values (if more than one) constrained by this constraint in cs_const_idx vector
	cl_char reified;		// True if this constraint is reified
	cl_char boolean;		// True if all the variables constrained by this constraint are boolean
};

typedef struct cl_constrs_ cl_constr;

// Host configuration
#ifndef __OPENCL_VERSION__

// only for syntax highlighting on cl_propagators
#define CS_ALL_DIFFERENT 1
#define CS_ARRAY_BOOL_AND 1
#define CS_ARRAY_BOOL_ELEMENT 1
#define CS_ARRAY_BOOL_OR 1
#define CS_ARRAY_BOOL_XOR 1
#define CS_ARRAY_INT_ELEMENT 1
#define CS_ARRAY_VAR_INT_ELEMENT 1
#define CS_AT_LEAST 1
#define CS_AT_MOST 1
#define CS_AT_MOST_ONE 1
#define CS_BOOL_AND 1
#define CS_BOOL_CLAUSE 1
#define CS_BOOL_EQ 1
#define CS_BOOL_LE 1
#define CS_BOOL_LIN_EQ 1
#define CS_BOOL_LIN_LE 1
#define CS_BOOL_LT 1
#define CS_BOOL_NOT 1
#define CS_BOOL_OR 1
#define CS_BOOL_XOR 1
#define CS_BOOL2INT 1
#define CS_ELEMENT 1
#define CS_EXACTLY 1
#define CS_EXACTLY_VAR 1
#define CS_INT_DIV 1
#define CS_INT_EQ 1
#define CS_INT_EQ_C 1
#define CS_INT_LE 1
#define CS_INT_LIN_EQ 1
#define CS_INT_LIN_LE 1
#define CS_INT_LIN_NE 1
#define CS_INT_LIN_VAR 1
#define CS_INT_LT 1
#define CS_INT_MAX_ 1
#define CS_INT_MIN_ 1
#define CS_INT_MOD 1
#define CS_INT_NE 1
#define CS_INT_PLUS 1
#define CS_INT_TIMES 1
#define CS_MAXIMIZE 1
#define CS_MINIMIZE 1
#define CS_MINUS_EQ 1
#define CS_MINUS_NE 1
#define CS_SUM 1
#define CS_SUM_PROD 1
#define CS_SUM_VAR 1
#define CS_VAR_EQ_MINUS 1
#define CS_VAR_EQ_MINUS_ABS 1

#define CS_R_ALL_DIFFERENT 1
#define CS_R_ARRAY_BOOL_AND 1
#define CS_R_ARRAY_BOOL_ELEMENT 1
#define CS_R_ARRAY_BOOL_OR 1
#define CS_R_ARRAY_BOOL_XOR 1
#define CS_R_ARRAY_INT_ELEMENT 1
#define CS_R_ARRAY_VAR_INT_ELEMENT 1
#define CS_R_AT_LEAST 1
#define CS_R_AT_MOST 1
#define CS_R_AT_MOST_ONE 1
#define CS_R_BOOL_AND 1
#define CS_R_BOOL_CLAUSE 1
#define CS_R_BOOL_EQ 1
#define CS_R_BOOL_LE 1
#define CS_R_BOOL_LIN_EQ 1
#define CS_R_BOOL_LIN_LE 1
#define CS_R_BOOL_LT 1
#define CS_R_BOOL_NOT 1
#define CS_R_BOOL_OR 1
#define CS_R_BOOL_XOR 1
#define CS_R_BOOL2INT 1
#define CS_R_ELEMENT 1
#define CS_R_EXACTLY 1
#define CS_R_EXACTLY_VAR 1
#define CS_R_INT_DIV 1
#define CS_R_INT_EQ 1
#define CS_R_INT_EQ_C 1
#define CS_R_INT_LE 1
#define CS_R_INT_LIN_EQ 1
#define CS_R_INT_LIN_LE 1
#define CS_R_INT_LIN_NE 1
#define CS_R_INT_LIN_VAR 1
#define CS_R_INT_LT 1
#define CS_R_INT_MAX_ 1
#define CS_R_INT_MIN_ 1
#define CS_R_INT_MOD 1
#define CS_R_INT_NE 1
#define CS_R_INT_PLUS 1
#define CS_R_INT_TIMES 1
#define CS_R_MAXIMIZE 1
#define CS_R_MINIMIZE 1
#define CS_R_MINUS_EQ 1
#define CS_R_MINUS_NE 1
#define CS_R_SUM 1
#define CS_R_SUM_PROD 1
#define CS_R_SUM_VAR 1
#define CS_R_VAR_EQ_MINUS 1
#define CS_R_VAR_EQ_MINUS_ABS 1
#endif

#endif /* SRC_CL_CONSTRAINTS_H_ */