From 56b593b91cc693849e3b3b3de0666f6ec9a597f6 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Jun 2013 14:37:33 +0200
Subject: Improved sat generator and sat_solve pass

---
 libs/ezsat/ezsat.cc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'libs/ezsat/ezsat.cc')

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index d6ebd678..cf9dd65b 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -34,6 +34,7 @@ ezSAT::ezSAT()
 
 	cnfConsumed = false;
 	cnfVariableCount = 0;
+	cnfClausesCount = 0;
 }
 
 ezSAT::~ezSAT()
@@ -331,6 +332,7 @@ void ezSAT::clear()
 {
 	cnfConsumed = false;
 	cnfVariableCount = 0;
+	cnfClausesCount = 0;
 	cnfLiteralVariables.clear();
 	cnfExpressionVariables.clear();
 	cnfClauses.clear();
@@ -342,11 +344,13 @@ void ezSAT::assume(int id)
 	int idx = bind(id);
 	cnfClauses.push_back(std::vector<int>(1, idx));
 	cnfAssumptions.insert(id);
+	cnfClausesCount++;
 }
 
 void ezSAT::add_clause(const std::vector<int> &args)
 {
 	cnfClauses.push_back(args);
+	cnfClausesCount++;
 }
 
 void ezSAT::add_clause(const std::vector<int> &args, bool argsPolarity, int a, int b, int c)
-- 
cgit v1.2.3