diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-27 20:56:04 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-27 20:56:04 +0000 |
| commit | 82543ccbc0cf3dadd39cfdb295c8848f8e863a54 (patch) | |
| tree | 348b7b70d8cc98a0f1f4447858645fb64d125688 | |
| parent | 788d6399c368dcc226b2cb1dc3407831ff8b882c (diff) | |
Improved debugging output.
| -rw-r--r-- | src/theory/arith/matrix.h | 8 |
1 files changed, 8 insertions, 0 deletions
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(); } |