diff options
Diffstat (limited to 'src')
-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(); } |