Go to the source code of this file.
Defines | |
#define | LINEAR_VALUE_IS_LONGLONG |
Functions | |
BEGIN_C_DECLS void | pocc_driver_letsee (scoplib_scop_p program, s_pocc_options_t *poptions, s_pocc_utils_options_t *puoptions) |
#define LINEAR_VALUE_IS_LONGLONG |
BEGIN_C_DECLS void pocc_driver_letsee | ( | scoplib_scop_p | program, | |
s_pocc_options_t * | poptions, | |||
s_pocc_utils_options_t * | puoptions | |||
) |
References s_pocc_options::codegen, s_pocc_options::compile_program, s_pocc_utils_options::data_file, s_pocc_options::input_file_name, s_pocc_utils_options::input_file_name, s_pocc_options::letsee_backtrack_multi, s_pocc_options::letsee_clb, s_pocc_options::letsee_cUb, s_pocc_options::letsee_ilb, s_pocc_options::letsee_iUb, s_pocc_options::letsee_normspace, s_pocc_options::letsee_plb, s_pocc_options::letsee_prune_precut, s_pocc_options::letsee_pUb, s_pocc_options::letsee_rtries, s_pocc_options::letsee_scheme_m1, s_pocc_options::letsee_space, s_pocc_options::letsee_traversal, s_pocc_utils_options::output_file_name, s_pocc_options::output_file_name, s_pocc_utils_options::pocc_codegen, pocc_driver_after_letsee(), pocc_error(), s_pocc_utils_options::pocc_options, s_pocc_utils_options::program, s_pocc_options::verbose, XFREE, and XMALLOC.
Referenced by main().