2.11BSD#431 - /usr/src/new/PORT/B/src/bsmall/b2sem.h

   1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984. */
   2: /* $Header: b2sem.h,v 1.1 84/06/28 00:48:50 timo Exp $ */
   3: 
   4: /* bsem.h: semantics */
   5: 
   6: typedef bool outcome;
   7: #define Succ Yes
   8: #define Fail No
   9: #define Und ((bool) '?') /* absence of REPORTed outcome */
  10: 
  11: #define Ifxeq(v) (xeq ? (v) : Dumval)
  12: 
  13: extern bool xeq;
  14: 
  15: extern envtab prmnvtab;
  16: extern envchain prmnvchain;
  17: extern env prmnv;
  18: 
  19: /* Locations */
  20: loc local_loc();
  21: loc global_loc();
  22: 
  23: value content();
  24: /* Procedure check_location(); */
  25: loc trim_loc();
  26: loc tbsel_loc();
  27: /* Procedure put(); */
  28: /* Procedure l_delete(); */
  29: /* Procedure l_insert(); */
  30: /* Procedure l_remove(); */
  31: /* Procedure choose(); */
  32: /* Procedure draw(); */
  33: /* Procedure bind(); */
  34: 
  35: /* Functions and Predicates */
  36: bool is_zerfun();
  37: bool is_monfun();
  38: bool is_dyafun();
  39: bool is_zerprd();
  40: bool is_monprd();
  41: bool is_dyaprd();
  42: value montor();
  43: value dyator();
  44: value formula();
  45: outcome proposition();
  46: /* Procedure initfprs(); */
  47: 
  48: /* Expressions: */
  49: value expr();
  50: value obasexpr();
  51: value tag();
  52: value constant();
  53: value conversion();
  54: /* Procedure trimbc(); */
  55: /* Procedure inittors(); */
  56: 
  57: /* Targets: */
  58: loc targ();
  59: loc bastarg();
  60: 
  61: /* Tests: */
  62: outcome test();
  63: bool relop();
  64: outcome comparison();
  65: 
  66: /* Commands: */
  67: /* Procedure command(); */
  68: /* Procedure comm_suite(); */
  69: /* Procedure initcom(); */
  70: 
  71: /* B units */
  72: 
  73: extern value resval; extern outcome resout;
  74: extern bool terminated;
  75: 
  76: bool unit();
  77: /* Procedure getunit(); */
  78: /* Procedure ytu_heading(); */
  79: bool udc();
  80: /* Procedure udfpr(); */
  81: bool ref_com();
  82: /* Procedure ref_et(); */
  83: value eva_formal();
  84: loc loc_formal();
  85: /* Procedure inithow(); */

Defined macros

Usage of this include