1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
   2: 
   3: /*
   4:   $Header: b3sem.h,v 1.4 85/08/22 16:44:32 timo Exp $
   5: */
   6: 
   7: /* bsem.h: semantics */
   8: 
   9: typedef bool outcome;
  10: #define Und ((bool) '?') /* absence of REPORTed outcome */
  11: 
  12: /* Locations */
  13: loc local_loc();
  14: loc global_loc();
  15: value content();
  16: /* Procedure check_location(); */
  17: loc trim_loc();
  18: loc tbsel_loc();
  19: /* Procedure put(); */
  20: /* Procedure putcheck(); */
  21: /* Procedure l_delete(); */
  22: /* Procedure l_insert(); */
  23: /* Procedure l_remove(); */
  24: /* Procedure choose(); */
  25: /* Procedure draw(); */
  26: /* Procedure bind(); */
  27: 
  28: /* Functions and Predicates */
  29: bool is_zerfun();
  30: bool is_monfun();
  31: bool is_dyafun();
  32: bool is_zerprd();
  33: bool is_monprd();
  34: bool is_dyaprd();
  35: /* Procedure initfpr(); */
  36: 
  37: /* Elaboration: */
  38: value pre_fun();
  39: outcome pre_prop();
  40: 
  41: /* B units */
  42: 
  43: extern value resval;
  44: extern bool terminated;
  45: 
  46: /* Procedure udfpr(); */
  47: bool ref_com();
  48: /* Procedure ref_et(); */
Last modified: 1985-08-27
Generated: 2016-12-26
Generated by src2html V0.67
page hit count: 723
Valid CSS Valid XHTML 1.0 Strict