1 /**************************************************************************** 2 ** 3 *A standard.h ANUPQ source Eamonn O'Brien 4 ** 5 *Y Copyright 1995-2001, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany 6 *Y Copyright 1995-2001, School of Mathematical Sciences, ANU, Australia 7 ** 8 */ 9 10 /* header file for standard pcp calculation */ 11 12 #ifndef ANUPQ_STANDARD_PCP_H 13 #define ANUPQ_STANDARD_PCP_H 14 15 #define STANDARDISE 1000 16 #define MIDDLE_OF_CLASS 2000 17 #define END_OF_CLASS 2001 18 #define TERMINAL 3000 19 #define CAPABLE 3001 20 #define RELATIVE 4000 21 22 extern Logical StandardPresentation; 23 24 #endif 25