References s_pocc_options::candl_deps_isl_simplify, s_pocc_options::candl_deps_prune_transcover, s_pocc_options::candl_pass, s_pocc_options::pluto_external_candl, s_pocc_options::quiet, and s_pocc_options::verbose.
Referenced by main(), and pocc_driver_pluto().