diff options
Diffstat (limited to 'src/theory/arith/tableau.cpp')
-rw-r--r-- | src/theory/arith/tableau.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arith/tableau.cpp b/src/theory/arith/tableau.cpp index 367e90301..b432416bd 100644 --- a/src/theory/arith/tableau.cpp +++ b/src/theory/arith/tableau.cpp @@ -115,7 +115,7 @@ void Tableau::setColumnUnused(ArithVar v){ ++colIter; } } -void Tableau::printTableau(){ +void Tableau::printTableau() const { Debug("tableau") << "Tableau::d_activeRows" << endl; ArithVarSet::const_iterator basicIter = beginBasic(), endIter = endBasic(); @@ -125,7 +125,7 @@ void Tableau::printTableau(){ } } -void Tableau::printRow(ArithVar basic){ +void Tableau::printRow(ArithVar basic) const { Debug("tableau") << "{" << basic << ":"; for(RowIterator entryIter = rowIterator(basic); !entryIter.atEnd(); ++entryIter){ const TableauEntry& entry = *entryIter; @@ -135,7 +135,7 @@ void Tableau::printRow(ArithVar basic){ Debug("tableau") << "}" << endl; } -void Tableau::printEntry(const TableauEntry& entry){ +void Tableau::printEntry(const TableauEntry& entry) const { Debug("tableau") << entry.getColVar() << "*" << entry.getCoefficient(); } |