Row.h

#pragma once
 
#include <iosfwd>
#include <optional>
#include <utility>
#include <vector>
 
#include "delpi/libs/gmp.h"
#include "delpi/symbolic/Variable.h"
 
namespace delpi {

struct Row {
  std::vector<std::pair<Variable, mpq_class>> addends;  
  std::optional<mpq_class> lb;                          
  std::optional<mpq_class> ub;                          
};
 
std::ostream& operator<<(std::ostream& os, const Row& row);
 
}  // namespace delpi
 
#ifdef DELPI_INCLUDE_FMT
 
#include "delpi/util/logging.h"
 
OSTREAM_FORMATTER(delpi::Row)
 
#endif