/*
$Id: synthesize.h,v 1.7 2001/02/05 11:14:45 sbeyer Exp $
$Log: synthesize.h,v $
Revision 1.7  2001/02/05 11:14:45  sbeyer

added register support

Revision 1.6  2001/01/15 16:08:36  sbeyer

cosmetics

*/
#ifndef synthesize_h
#define synthesize_h

// main function call:
// tries to synthesize all functions in 'root_functions';
// the output is written to the file name 'filename'
void synthesize_root_functions(const char *filename,
                               const char *register_name);

#endif // synthesize_h