runtime/api.h

   1
   2 typedef unsigned char symbol;
   3
   4 /* Or replace 'char' above with 'short' for 16 bit characters.
   5
   6    More precisely, replace 'char' with whatever type guarantees the
   7    character width you need. Note however that sizeof(symbol) should divide
   8    HEAD, defined in header.h as 2*sizeof(int), without remainder, otherwise
   9    there is an alignment problem. In the unlikely event of a problem here,
  10    consult Martin Porter.
  11
  12 */
  13
  14 struct SN_env {
  15     symbol * p;
  16     int c; int l; int lb; int bra; int ket;
  17     symbol * * S;
  18     int * I;
  19     unsigned char * B;
  20 };
  21
  22 extern struct SN_env * SN_create_env(int S_size, int I_size, int B_size);
  23 extern void SN_close_env(struct SN_env * z, int S_size);
  24
  25 extern int SN_set_current(struct SN_env * z, int size, const symbol * s);
  26