global_aterm_pool.h

Go to the documentation of this file.

// Author(s): Maurice Laveaux.
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_ATERMPP_DETAIL_GLOBAL_ATERM_POOL_H_
#define MCRL2_ATERMPP_DETAIL_GLOBAL_ATERM_POOL_H_
 
#include "mcrl2/atermpp/detail/aterm_pool.h"
#include "mcrl2/atermpp/detail/thread_aterm_pool.h"
 
namespace atermpp
{
namespace detail
{
 
extern typename std::aligned_storage<sizeof(aterm_pool), alignof(aterm_pool)>::type g_aterm_pool_storage;
 
static aterm_pool& g_aterm_pool_instance = *static_cast<aterm_pool*>(static_cast<void*>(&g_aterm_pool_storage));
 
template<bool lazy = false>
inline aterm_pool& g_term_pool()
{
  if (lazy)
  {
    static bool initialized = false;
    if (!initialized)
    {
      new (&g_aterm_pool_instance) aterm_pool();
      initialized = true;
    }
  }
 
  return g_aterm_pool_instance;
}
 
// Implemented in a .cpp file. 
//thread_aterm_pool& g_thread_term_pool();
 
} // namespace detail
} // namespace atermpp
 
#include "mcrl2/atermpp/detail/aterm_implementation.h"
 
#endif // MCRL2_ATERMPP_DETAIL_GLOBAL_ATERM_POOL_H_