memory.h

#ifndef ADIAR_INTERNAL_MEMORY_H
#define ADIAR_INTERNAL_MEMORY_H
 
#include <string>
 
#include <tpie/memory.h>
#include <tpie/tpie.h>
 
#include <adiar/internal/assert.h>
 
namespace adiar::internal
{
  inline size_t
  memory_available()
  {
    return tpie::get_memory_manager().available();
  }
 
  enum class memory_mode
  {
    Internal,
    External
  };
}
 
namespace adiar
{
  // TODO: add std::move(...) alias
 
  // TODO: use TPIE allocation for `make_unique` and `make_shared`. This way we
  //       also account for the memory usage of each BDD.
 
  // Based on <tpie/memory.h>
 
  template <typename T>
  using shared_ptr = std::shared_ptr<T>;
 
  template <typename T, typename... TT>
  inline shared_ptr<T>
  make_shared(TT&&... tt)
  {
    return std::make_shared<T>(std::forward<TT>(tt)...);
  }
 
  template <typename T>
  using unique_ptr = std::unique_ptr<T>;
 
  template <typename T, typename... TT>
  inline unique_ptr<T>
  make_unique(TT&&... tt)
  {
    return std::make_unique<T>(std::forward<TT>(tt)...);
  }
}
 
#endif // ADIAR_INTERNAL_MEMORY_H