blob: 15e3fe892eedf7d0381704b950d56845e146f3bf (
plain)
1
2
3
4
5
6
7
8
9
|
#ifndef __CFG_H_
#define __CFG_H_
#define MAX_NOF_VARS (32)
#define LARGEST_SET(NOF_VARS) ((NOF_VARS)==MAX_NOF_VARS?(varset_t)~0:(1U<<(NOF_VARS))-1)
typedef unsigned int varset_t;
typedef double score_t;
#endif
|