Row.cpp

#include "delpi/solver/Row.h"
 
#include <ostream>
#include <sstream>
 
namespace delpi {
 
std::ostream& operator<<(std::ostream& os, const Row& row) {
  os << "Row{ ";
  bool print_plus = false;
  for (const auto& [var, coeff] : row.addends) {
    os << (print_plus ? " + " : "");
    if (coeff != 1) os << coeff << " * ";
    os << var;
    print_plus = true;
  }
  return os << " in [ " << (row.lb.has_value() ? (std::stringstream{} << row.lb.value()).str() : "-inf") << " , "
            << (row.ub.has_value() ? (std::stringstream{} << row.ub.value()).str() : "inf") << " ] }";
}
 
}  // namespace delpi