From 06b3274dd2c74c62f195a181d6b36c6eaf62a2d8 Mon Sep 17 00:00:00 2001 From: minh Date: Thu, 26 Nov 2015 10:54:26 +0100 Subject: [PATCH] PDA release 1.0.3 --- pda.cpp | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/pda.cpp b/pda.cpp index 1a96d2f..6f893f1 100644 --- a/pda.cpp +++ b/pda.cpp @@ -809,11 +809,12 @@ void summarizeSplit(Params ¶ms, PDNetwork &sg, vector &pd_set, PDR } out << endl; - if (!params.find_all) - out << "Note: You did not choose the option to find multiple optimal PD sets." << endl << + if (!params.find_all) { + if (params.detected_mode != LINEAR_PROGRAMMING) + out << "Note: You did not choose the option to find multiple optimal PD sets." << endl << "That's why we only reported one PD-set per size-k or budget. If you want" << endl << - "to determine all multiple PD-sets, use the '-a' option."; - else { + "to determine all multiple PD-sets, use the '-all' option."; + } else { out << "Note: The number of multiple optimal PD sets to be reported is limited to " << params.pd_limit << "." << endl << "There might be cases where the actual #PD-sets exceeds that upper-limit but" << endl << "won't be listed here. Please refer to the above list to identify such cases." << endl <<