driver-clan.c File Reference

Functions
scoplib_scop_p	pocc_driver_clan (FILE *program, s_pocc_options_t *poptions, s_pocc_utils_options_t *puoptions)

---

Function Documentation

scoplib_scop_p pocc_driver_clan	(	FILE *	program,
		s_pocc_options_t *	poptions,
		s_pocc_utils_options_t *	puoptions
	)

References s_pocc_options::clan_bounded_context, s_pocc_options::input_file, s_pocc_options::quiet, s_pocc_options::read_input_scop_file, and s_pocc_options::set_default_parameter_values.

Referenced by main().