2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
13 typedef struct _boolStack
18 /*@reldef@*/ bool *elements;
21 typedef _boolStack *boolStack ;
23 # define boolStack_size(s) ((s)->nelements)
24 # define boolStack_isEmpty(s) (boolStack_size(s) == 0)
25 # define boolStack_empty(s) (boolStack_size(s) == 0)
27 extern boolStack boolStack_new(void);
29 extern void boolStack_push (boolStack s, bool el) ;
30 extern void boolStack_pop (boolStack s) ;
31 extern bool boolStack_top (boolStack s) ;
33 extern cstring boolStack_unparse (boolStack s) ;
34 extern void boolStack_free (/*@only@*/ boolStack s) ;
35 extern void boolStack_switchTop (boolStack s);
37 # define boolStackBASESIZE MIDBASESIZE
40 # error "Multiple include"