\section{Header file for the BVD library}

The following is the header file is for use by other libraries
and passes that depend upon the BVD library.  It is
never included in any implementation file within the
[[machsuif/bvd]] directory.  We use comments to indicate
dependences among the header files.

<<bvd.h>>=
/* file "bvd/bvd.h" */

<<Machine-SUIF copyright>>

#ifndef BVD_BVD_H
#define BVD_BVD_H

#include <machine/copyright.h>

<<contents of [[bvd.h]]>>

#endif /* BVD_BVD_H */
@

<<contents of [[bvd.h]]>>=
#include <bvd/flow_fun.h>
#include <bvd/catalog.h>
#include <bvd/solve.h>
#include <bvd/liveness.h>
#include <bvd/reaching_defs.h>
#include <bvd/init.h>
@