function_symbol.cpp

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)
//
 
#include "mcrl2/atermpp/detail/global_aterm_pool.h"
 
using namespace atermpp;
using namespace atermpp::detail;
 
function_symbol detail::g_as_int(g_term_pool<true>().as_int());
function_symbol detail::g_as_list(g_term_pool<true>().as_list());
function_symbol detail::g_as_empty_list(g_term_pool<true>().as_empty_list());
 
function_symbol::function_symbol(const std::string& name, const std::size_t arity, const bool check_for_registered_functions) :
  function_symbol(g_thread_term_pool().create_function_symbol(name, arity, check_for_registered_functions))
{}
 
function_symbol::function_symbol(std::string&& name, const std::size_t arity, const bool check_for_registered_functions) :
  function_symbol(g_thread_term_pool().create_function_symbol(std::forward<std::string>(name), arity, check_for_registered_functions))
{}
 
global_function_symbol::global_function_symbol(const std::string& name, const std::size_t arity) :
  function_symbol(g_term_pool<true>().create_function_symbol(name, arity, true))
{}