mcrl2/atermpp/function_symbol.h

Include file:

#include "mcrl2/atermpp/function_symbol.h"

Classes

• atermpp::function_symbol
• atermpp::global_function_symbol

Variables

function_symbol atermpp::detail::g_as_empty_list

function_symbol atermpp::detail::g_as_int

These function symbols are used to indicate integer, list and empty list terms.

They are copied from the function_symbol_pool so that type_is_{int|list|appl} can be defined in the header.

function_symbol atermpp::detail::g_as_list