From 82543ccbc0cf3dadd39cfdb295c8848f8e863a54 Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 27 Jun 2012 20:56:04 +0000 Subject: [PATCH] Improved debugging output. --- src/theory/arith/matrix.h | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/theory/arith/matrix.h b/src/theory/arith/matrix.h index 5becdc9fb..f0e17f8a4 100644 --- a/src/theory/arith/matrix.h +++ b/src/theory/arith/matrix.h @@ -853,6 +853,14 @@ public: return d_basic2RowIndex.isKey(v); } + void debugPrintIsBasic(ArithVar v) const { + if(isBasic(v)){ + Warning() << v << " is basic." << std::endl; + }else{ + Warning() << v << " is non-basic." << std::endl; + } + } + BasicIterator beginBasic() const { return d_basic2RowIndex.begin(); } -- 2.30.2