prop-src/config.h

   1 #ifndef configuration_h
   2 #define configuration_h
   3
   4 #define VERSION                  "2.3"         // major version number
   5 #define FILE_SEPARATOR           ':'           // search file separator
   6 #define PATH_SEPARATOR           '/'           // path separator
   7 #define DEFAULT_SEARCH_PATH      "."           // default search path
   8 #define DEV_NULL                 "/dev/null"   // some place to dump output
   9 #define MAX_CONJUNCTS            256           // max conjuncts in inference
  10 #define MAX_INFERENCE_RULE_ARITY 256           // max objects in inference
  11 #define MAX_COST                 32767         // max matching cost
  12 #define MAX_VECTOR_LEN           10            // max vector elements
  13 #define MAX_TUPLE_ARITY          12            // maximum arity of .(...)
  14
  15 extern const char * PATCH_LEVEL;
  16 extern const char * LAST_UPDATED;
  17
  18 #endif