ar-vinyeard compiles and runs:
- ar-function-kernel uses int for sign rather than bool in sign_at
- switched to dealing with a single functions themselves in value_at
- order of thresholds is handled correctly in ar-vineyard (max is the last one)
#ifndef __TYPES_H__
#define __TYPES_H__
#include <limits>
/* Types */
typedef bool Sign;
typedef unsigned short int Dimension;
const Sign POS = true;
const Sign NEG = false;
typedef double RealType;
typedef unsigned int SizeType;
static RealType Infinity = std::numeric_limits<RealType>::infinity();
typedef const unsigned int& version_type;
#endif // __TYPES_H__