Variable.cpp

#include "delpi/symbolic/Variable.h"
 
#include <atomic>
#include <limits>
#include <ostream>
#include <string>
#include <utility>
#include <vector>
 
#include "delpi/util/error.h"
 
namespace delpi {
std::vector<std::string> Variable::names_{{"dummy"}};
const Variable::Id Variable::dummy_id{std::numeric_limits<Id>::max()};
 
Variable::Id Variable::GetNextId() {
  static std::atomic<Id> next_id{0};
  const std::size_t counter = next_id.fetch_add(1);
  return counter;
}
Variable::Variable(const Id id) : id_{id} {
  DELPI_ASSERT(id < names_.size(), "The id is out of bounds. Make sure the variable had been created before.");
}
 
Variable::Variable(std::string name) : id_{GetNextId()} {
  DELPI_ASSERT(id_ < std::numeric_limits<Id>::max(), "The ID of the variable has reached the maximum value.");
  names_.push_back(std::move(name));
  DELPI_ASSERT(names_.size() == id_ + 2u, "The size of the names vector is not equal to the ID + dummy string.");
}
 
std::ostream &operator<<(std::ostream &os, const Variable &var) { return os << var.name(); }
 
}  // namespace delpi