\section{Header file for the [[machine]] library}

The following is the header file is for use by other libraries
and passes that depend upon the [[machine]] library.  It is
never included in any implementation file within the 
[[machsuif/machine]] directory.

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

<<Machine-SUIF copyright>>

#ifndef MACHINE_MACHINE_H
#define MACHINE_MACHINE_H

#include <machine/copyright.h>

#include <machine/substrate.h>
#include <machine/problems.h>
#include <machine/opnd.h>
#include <machine/machine_ir.h>
#include <machine/machine_ir_factory.h>
#include <machine/init.h>
#include <machine/nat_set.h>
#include <machine/note.h>
#include <machine/util.h>
#include <machine/c_printer.h>
#include <machine/instr.h>
#include <machine/reg_info.h>
#include <machine/opcodes.h>
#include <machine/types.h>
#include <machine/printer.h>
#include <machine/code_fin.h>
#include <machine/contexts.h>

#endif /* MACHINE_MACHINE_H */