From b9870a364e35d8159a8bcc8c535a2aa971e78af9 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 28 Mar 2013 11:36:54 +0100 Subject: Improved subcircuit verbose output (added portmapper results) --- libs/subcircuit/subcircuit.cc | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'libs/subcircuit') diff --git a/libs/subcircuit/subcircuit.cc b/libs/subcircuit/subcircuit.cc index 6ee2a0fcc..b4e74be6b 100644 --- a/libs/subcircuit/subcircuit.cc +++ b/libs/subcircuit/subcircuit.cc @@ -1124,6 +1124,21 @@ class SubCircuit::SolverWorker while (prunePortmapCandidates(portmapCandidates, enumerationMatrix, needle, haystack)) { } + if (verbose) { + my_printf("\nPortmapper results:\n"); + for (int j = 0; j < int(enumerationMatrix.size()); j++) { + my_printf("%5d: %s\n", j, needle.graph.nodes[j].nodeId.c_str()); + int variantCounter = 0; + for (auto &i2 : portmapCandidates.at(j)) { + my_printf("%*s variant %2d:", 6, "", variantCounter++); + int mapCounter = 0; + for (auto &i3 : i2) + my_printf("%s %s -> %s", mapCounter++ ? "," : "", i3.first.c_str(), i3.second.c_str()); + my_printf("\n"); + } + } + } + for (int j = 0; j < int(enumerationMatrix.size()); j++) { if (portmapCandidates[j].size() == 0) { if (verbose) { -- cgit v1.2.3