Return to b3sem.h CVS log

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

Annotation of 43BSD/contrib/B/src/bint/b3sem.h, revision 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.