11 extern int prepare_timegen_files(
char *circuit_name);
void prepare_included_files()
void command_line_error(char *filename)
int generate_jspice_config()
int read_xy_config(XY_PARAMETERS *xy_param, char *circuit_name)
static char filename[LINE_LENGTH]
int read_options(int argc, char *argv[])