void KeepPromises() { double efficiency; BeginAudit(); KeepControlPromises(); KeepPromiseBundles(); EndAudit(); // TOPICS counts the number of currently defined promises // OCCUR counts the number of objects touched while verifying config efficiency = 100.0*CF_OCCUR/(double)(CF_OCCUR+CF_TOPICS); NoteEfficiency(efficiency); CfOut(cf_verbose,""," -> Checked %d objects with %d promises, efficiency %.2lf",CF_OCCUR,CF_TOPICS,efficiency); }
static void KeepPromises(Policy *policy, GenericAgentConfig *config, const ReportContext *report_context) { double efficiency, model; KeepControlPromises(policy); KeepPromiseBundles(policy, config, report_context); // TOPICS counts the number of currently defined promises // OCCUR counts the number of objects touched while verifying config efficiency = 100.0 * CF_OCCUR / (double) (CF_OCCUR + CF_TOPICS); model = 100.0 * (1.0 - CF_TOPICS / (double)(PR_KEPT + PR_NOTKEPT + PR_REPAIRED)); NoteEfficiency(efficiency); CfOut(cf_verbose, "", " -> Checked %d objects with %d promises, i.e. model efficiency %.2lf%%", CF_OCCUR, CF_TOPICS, efficiency); CfOut(cf_verbose, "", " -> The %d declared promise patterns actually expanded into %d individual promises, i.e. declaration efficiency %.2lf%%", (int) CF_TOPICS, PR_KEPT + PR_NOTKEPT + PR_REPAIRED, model); }