From 9f461dbe7b6d48632f8d25973fcdf27c81918622 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Jan 2017 06:46:01 -0800 Subject: [PATCH] local Signed-off-by: Nikolaj Bjorner --- src/sat/card_extension.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/sat/card_extension.cpp b/src/sat/card_extension.cpp index 2ce39e6fd..a8c1bcb8d 100644 --- a/src/sat/card_extension.cpp +++ b/src/sat/card_extension.cpp @@ -159,6 +159,7 @@ namespace sat { } void card_extension::set_conflict(card& c, literal lit) { + std::cout << "conflict\n"; SASSERT(validate_conflict(c)); m_stats.m_num_conflicts++; @@ -689,8 +690,8 @@ namespace sat { } void card_extension::collect_statistics(statistics& st) const { - st.update("card propagations", m_stats.m_num_propagations); - st.update("card conflicts", m_stats.m_num_conflicts); + st.update("cardinality propagations", m_stats.m_num_propagations); + st.update("cardinality conflicts", m_stats.m_num_conflicts); } bool card_extension::validate_conflict(card& c) {