gooderp18绿色标准版
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

27 line
763B

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