/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
# ifndef SORTSET_H
# define SORTSET_H
-abst_typedef /*@null@*/ struct _sortSet
+abst_typedef /*@null@*/ struct
{
int entries;
int nspace;
/*@constant null sortSet sortSet_undefined; @*/
# define sortSet_undefined ((sortSet) NULL)
-extern /*@falsenull@*/ bool sortSet_isDefined (sortSet p_s) /*@*/ ;
+extern /*@falsewhennull@*/ bool sortSet_isDefined (sortSet p_s) /*@*/ ;
# define sortSet_isDefined(s) ((s) != sortSet_undefined)
extern int sortSet_size (/*@sef@*/ sortSet p_s);