/***************************/
#define MAX 128

typedef struct {
  int numOfBCases ;
  int idx ;
  char bc[ 32 ][ 1024 ] ;
} BASECASE ;

typedef struct {
  char action[ MAX ] ;
  int numOfConsts ;
  int numOfConjs ;
  int uselem ;
  int numOfCases ;
  char constant[ 32 ][ MAX ] ;
  char conjunct[ 64 ][ MAX ] ;
  char lemma[ MAX ] ;
  BASECASE bcase[ MAX ] ;
} ACT ;

extern char BasePred[ MAX ] ;
extern char InductivePred[ MAX ] ;
extern char SuccessorTerm[ MAX ] ;
extern int NumOfActs ;
extern ACT Act[ MAX ] ;

extern void initPstscanner( void ) ;
extern void initPstparser( void ) ;
extern int pstparser( FILE* ) ;
extern void printParseResults( void ) ;
extern void pstgenerator( FILE* ) ;