4 typedef /*@numabstract@*/ int usymId
;
6 extern usymId
usymId_fromInt (int p_i
) /*@*/ ;
7 # define usymId_fromInt(i) ((usymId)(i))
9 extern int usymId_toInt (usymId p_i
) /*@*/ ;
10 # define usymId_toInt(i) ((int)(i))
12 extern bool usymId_isInvalid (usymId p_u
) /*@*/ ;
13 # define usymId_isInvalid(u) ((u) == usymId_invalid)
15 extern bool usymId_isValid (usymId p_u
) /*@*/ ;
16 # define usymId_isValid(u) ((u) != usymId_invalid)
18 extern bool usymId_equal (usymId p_u1
, usymId p_u2
) /*@*/ ;
19 # define usymId_equal(u1,u2) ((u1) == (u2))
21 /*@constant usymId usymId_invalid;@*/
22 # define usymId_invalid -17
24 /*@constant usymId usymId_notfound;@*/
25 # define usymId_notfound NOT_FOUND
28 # error "Multiple include"