Pedro Roque / PHACT_src

Blame view

src/constraints/ge.h 299 Bytes
Edit Raw Normal View History
94b2b13d   Pedro Roque   PHACT source 
1
2
3
4
 
/*
 * ge.h
 *
 *  Created on: 22/01/2017
4d26a735   Pedro Roque   Increased recogni... 
5
 
 *      Author: pedro
94b2b13d   Pedro Roque   PHACT source 
6
7
8
9
10
11
12
13
14
 
 */

#ifndef SRC_CONSTRAINTS_GE_H_
#define SRC_CONSTRAINTS_GE_H_

unsigned int c_ge(unsigned int x_id, unsigned int y_id);
unsigned int c_ge_reif(unsigned int x_id, unsigned int y_id, int reif_v_id);

#endif /* SRC_CONSTRAINTS_GE_H_ */