# 2.11BSD#431 - /usr/src/new/PORT/B/src/bint/b3sem.h

##### Macros

    Und               X

       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(); */

#### Defined macros

Und defined in line 10; never used

#### Usage of this include

b3sem.h used 11 times

- in /usr/src/new/PORT/B/src/bint/b2fix.c line 15
- in /usr/src/new/PORT/B/src/bint/b2gen.c line 16
- in /usr/src/new/PORT/B/src/bint/b3fpr.c line 12
- in /usr/src/new/PORT/B/src/bint/b3in2.c line 13
- in /usr/src/new/PORT/B/src/bint/b3int.c line 15
- in /usr/src/new/PORT/B/src/bint/b3loc.c line 12
- in /usr/src/new/PORT/B/src/bint/b3mai.c line 22
- in /usr/src/new/PORT/B/src/bint/b3scr.c line 22
- in /usr/src/new/PORT/B/src/bint/b3sou.c line 21
- in /usr/src/new/PORT/B/src/bint/b3sta.c line 125
- in /usr/src/new/PORT/B/src/bint/b3typ.c line 11

Last modified: 1985-08-27 Generated: 2016-12-26 | Generated by src2html V0.67 page hit count: 409 |