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