standard.h

/****************************************************************************
**
*A  standard.h                  ANUPQ source                   Eamonn O'Brien
**
*Y  Copyright 1995-2001,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
*Y  Copyright 1995-2001,  School of Mathematical Sciences, ANU,     Australia
**
*/

/* header file for standard pcp calculation */

#ifndef ANUPQ_STANDARD_PCP_H
#define ANUPQ_STANDARD_PCP_H

#define STANDARDISE 1000
#define MIDDLE_OF_CLASS 2000
#define END_OF_CLASS 2001
#define TERMINAL 3000
#define CAPABLE 3001
#define RELATIVE 4000

extern Logical StandardPresentation;

#endif