Return to b3sem.h CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / new / B / src / bint

Annotation of 43BSDTahoe/new/B/src/bint/b3sem.h, revision 1.1.1.1

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

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.