Here is a list of all file members with links to the files they belong to:

• DECL_NAMESPACE_SGI : sgi_ext.h
• GBDD_WITH_BUDDY : config.h
• HAVE_DLFCN_H : config.h
• HAVE_INTTYPES_H : config.h
• HAVE_MEMORY_H : config.h
• HAVE_STDINT_H : config.h
• HAVE_STDLIB_H : config.h
• HAVE_STRING_H : config.h
• HAVE_STRINGS_H : config.h
• HAVE_SYS_STAT_H : config.h
• HAVE_SYS_TYPES_H : config.h
• HAVE_UNISTD_H : config.h
• main() : test-relation.cc, test-bdd.cc
• max : buddy-space.cc, bdd-equivalence-relation.cc
• PACKAGE : config.h
• PACKAGE_BUGREPORT : config.h
• PACKAGE_NAME : config.h
• PACKAGE_STRING : config.h
• PACKAGE_TARNAME : config.h
• PACKAGE_VERSION : config.h
• STDC_HEADERS : config.h
• Var : test-relation.cc, test-bdd.cc
• VarMap : test-relation.cc, test-bdd.cc
• VERSION : config.h

---