aterm_core.h

Go to the documentation of this file.

// Author(s): Jan Friso Groote
// 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_ATERM_H
#define MCRL2_ATERMPP_DETAIL_ATERM_H
 
#include <limits>
 
#include "mcrl2/utilities/type_traits.h"
#include "mcrl2/atermpp/function_symbol.h"
 
namespace atermpp
{
 
// Forward declaration.
class unprotected_aterm_core;
class aterm_core;
 
namespace detail
{
 
class _aterm;
inline void debug_print(std::ostream& o, const _aterm* t, const std::size_t d = 3);
 
template<typename ...Terms>
using are_terms = mcrl2::utilities::forall<std::is_convertible<Terms, unprotected_aterm_core>...>;
 
 
template <typename Term>
using is_term_or_function = std::disjunction<std::is_convertible<Term, unprotected_aterm_core>,
                            std::disjunction<mcrl2::utilities::is_applicable<Term, unprotected_aterm_core&>,
                                             mcrl2::utilities::is_constant_function_yielding<Term, unprotected_aterm_core> > >;
 
template<typename ...Terms>
using are_terms_or_functions = mcrl2::utilities::forall<is_term_or_function<Terms>...>;
 
class _aterm : public mcrl2::utilities::noncopyable
{
public:
  _aterm(const function_symbol& symbol) :
    m_function_symbol(symbol)
  {}
 
  const function_symbol& function() const noexcept
  {
    return m_function_symbol;
  }
 
  void mark() const
  {
    m_function_symbol.m_function_symbol.tag();
  }
 
  void unmark() const
  {
    m_function_symbol.m_function_symbol.untag();
  }
 
  bool is_marked() const
  {
    return m_function_symbol.m_function_symbol.tagged();
  }
 
private:
  function_symbol m_function_symbol;
};
 
inline _aterm* address(const unprotected_aterm_core& t);
 
} // namespace detail
} // namespace atermpp
 
#endif /* MCRL2_ATERMPP_DETAIL_ATERM_H */