Pedro Roque / PHACT_src

Blame view

Debug/src/constraints/fake_all_different.h 296 Bytes
Edit Raw Normal View History
0c8ce2b0   Pedro Roque   missing files 
1
2
3
4
 
/*
 * fake_all_different.h
 *
 *  Created on: 21/01/2017
4d26a735   Pedro Roque   Increased recogni... 
5
 
 *      Author: Pedro
0c8ce2b0   Pedro Roque   missing files 
6
7
8
9
10
 
 */

#ifndef SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_
#define SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_
4d26a735   Pedro Roque   Increased recogni... 
11
 
void c_fake_all_different(unsigned int *X_ids, unsigned int n_vs);
0c8ce2b0   Pedro Roque   missing files 
12
13
 

#endif /* SRC_CONSTRAINTS_FAKE_ALL_DIFFERENT_H_ */