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().