11.4. Profiling

// This struct holds all parameters for the Solver object. // SolverParameters is only used by the Solver constructor to define solving // parameters such as the trail compression or the profile level. // Note this is for advanced users only. struct SolverParameters {

enum ProfileLevel { NO_PROFILING, NORMAL_PROFILING };

enum TraceLevel { NO_TRACE, NORMAL_TRACE }

// Support for profiling propagation. LIGHT supports only a reduced

// version of the summary. COMPLETE supports the full version of the // summary, as well as the csv export. ProfileLevel profile_level;

// Support for full trace of propagation. TraceLevel trace_level;

DEFINE_bool(cp_trace_propagation, false,

“Trace propagation events (constraint and demon executions,” ” variable modifications).”);

DEFINE_bool(cp_trace_search, false, “Trace search events”); DEFINE_bool(cp_show_constraints, false,

“show all constraints added to the solver.”);

DEFINE_bool(cp_print_model, false,

“use PrintModelVisitor on model before solving.”);

DEFINE_bool(cp_model_stats, false,

“use StatisticsModelVisitor on model before solving.”);

DEFINE_string(cp_export_file, “”, “Export model to file using CPModelProto.”); DEFINE_bool(cp_no_solve, false, “Force failure at the beginning of a search.”); DEFINE_string(cp_profile_file, “”, “Export profiling overview to file.”); DEFINE_bool(cp_verbose_fail, false, “Verbose output when failing.”); DEFINE_bool(cp_name_variables, false, “Force all variables to have names.”); DEFINE_bool(cp_name_cast_variables, false,

“Name variables casted from expressions”);