1987-03-09 19:15:41 +00:00
|
|
|
/*
|
|
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
|
|
*/
|
1984-12-17 15:13:39 +00:00
|
|
|
/* $Header$ */
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Miscellaneous sizes, tunable
|
|
|
|
*/
|
|
|
|
|
1987-03-17 14:42:12 +00:00
|
|
|
#include <local.h>
|
|
|
|
#if BIGMACHINE
|
|
|
|
#define BORS(x,y) x
|
|
|
|
#else
|
|
|
|
#define BORS(x,y) y
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#define MAXREGS BORS(40,30)
|
|
|
|
#define MAXPROPS BORS(30,20)
|
|
|
|
#define MAXTOKENS BORS(100,60)
|
1987-02-05 19:19:01 +00:00
|
|
|
#define MAXATT 6
|
1987-03-17 14:42:12 +00:00
|
|
|
#define MAXSETS BORS(150,100)
|
|
|
|
#define MAXINSTR BORS(125,200)
|
|
|
|
#define MAXSTRINGS BORS(250,150)
|
|
|
|
#define MAXNODES BORS(500,350)
|
|
|
|
#define EMPATMAX BORS(20,10)
|
|
|
|
#define MAXPATTERNS BORS(40,30)
|
1984-12-17 15:13:39 +00:00
|
|
|
#define MAXALLREG 5
|
1987-03-17 14:42:12 +00:00
|
|
|
#define MAXINSTANCES BORS(500,300)
|
|
|
|
#define MAXMOVES BORS(40,20)
|
1984-12-17 15:13:39 +00:00
|
|
|
#define MAXTESTS 10
|
1987-03-17 14:42:12 +00:00
|
|
|
#define MAXSTACKS BORS(30,20)
|
|
|
|
#define MAXCOERCS BORS(50,30)
|
|
|
|
#define MAXSPLCOERC BORS(20,10)
|
1987-02-05 19:19:01 +00:00
|
|
|
#define MAXSPLIT 3
|
1987-03-17 14:42:12 +00:00
|
|
|
#define MAXPATBYTES BORS(14000,7000)
|
1987-02-05 19:19:01 +00:00
|
|
|
#define MAXREGVAR 10
|
|
|
|
#define MAXSOURCELINES 6000
|
1984-12-17 15:13:39 +00:00
|
|
|
|
|
|
|
/* end of tunable constants */
|
|
|
|
|
|
|
|
#define TOKPATMAX 7
|
|
|
|
|
|
|
|
#define SZOFSET(n) (((n)+15)/16)
|
|
|
|
|
|
|
|
#define SETSIZE SZOFSET(MAXREGS+MAXTOKENS)
|
|
|
|
|
|
|
|
#define NEXT(n,max,string) (n<max? n++ : tabovf(string))
|
|
|
|
#define NEW(x,y) x=(y*)myalloc(sizeof(*(x)))
|