nat1.h File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::sort_nat
	Namespace for system defined sort nat.

Typedefs
typedef std::map< function_symbol, std::pair< std::function< void(data_expression &, const data_expression &)>, std::string > >	mcrl2::data::sort_nat::implementation_map

Functions
const core::identifier_string &	mcrl2::data::sort_nat::nat_name ()
const basic_sort &	mcrl2::data::sort_nat::nat ()
	Constructor for sort expression Nat.
bool	mcrl2::data::sort_nat::is_nat (const sort_expression &e)
	Recogniser for sort expression Nat.
const core::identifier_string &	mcrl2::data::sort_nat::natpair_name ()
const basic_sort &	mcrl2::data::sort_nat::natpair ()
	Constructor for sort expression @NatPair.
bool	mcrl2::data::sort_nat::is_natpair (const sort_expression &e)
	Recogniser for sort expression @NatPair.
const core::identifier_string &	mcrl2::data::sort_nat::c0_name ()
	Generate identifier @c0.
const function_symbol &	mcrl2::data::sort_nat::c0 ()
	Constructor for function symbol @c0.
bool	mcrl2::data::sort_nat::is_c0_function_symbol (const atermpp::aterm &e)
	Recogniser for function @c0.
const core::identifier_string &	mcrl2::data::sort_nat::cnat_name ()
	Generate identifier @cNat.
const function_symbol &	mcrl2::data::sort_nat::cnat ()
	Constructor for function symbol @cNat.
bool	mcrl2::data::sort_nat::is_cnat_function_symbol (const atermpp::aterm &e)
	Recogniser for function @cNat.
application	mcrl2::data::sort_nat::cnat (const data_expression &arg0)
	Application of function symbol @cNat.
void	mcrl2::data::sort_nat::make_cnat (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @cNat.
bool	mcrl2::data::sort_nat::is_cnat_application (const atermpp::aterm &e)
	Recogniser for application of @cNat.
const core::identifier_string &	mcrl2::data::sort_nat::cpair_name ()
	Generate identifier @cPair.
const function_symbol &	mcrl2::data::sort_nat::cpair ()
	Constructor for function symbol @cPair.
bool	mcrl2::data::sort_nat::is_cpair_function_symbol (const atermpp::aterm &e)
	Recogniser for function @cPair.
application	mcrl2::data::sort_nat::cpair (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @cPair.
void	mcrl2::data::sort_nat::make_cpair (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @cPair.
bool	mcrl2::data::sort_nat::is_cpair_application (const atermpp::aterm &e)
	Recogniser for application of @cPair.
function_symbol_vector	mcrl2::data::sort_nat::nat_generate_constructors_code ()
	Give all system defined constructors for nat.
function_symbol_vector	mcrl2::data::sort_nat::nat_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for nat.
implementation_map	mcrl2::data::sort_nat::nat_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for nat.
const core::identifier_string &	mcrl2::data::sort_nat::pos2nat_name ()
	Generate identifier Pos2Nat.
const function_symbol &	mcrl2::data::sort_nat::pos2nat ()
	Constructor for function symbol Pos2Nat.
bool	mcrl2::data::sort_nat::is_pos2nat_function_symbol (const atermpp::aterm &e)
	Recogniser for function Pos2Nat.
application	mcrl2::data::sort_nat::pos2nat (const data_expression &arg0)
	Application of function symbol Pos2Nat.
void	mcrl2::data::sort_nat::make_pos2nat (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Pos2Nat.
bool	mcrl2::data::sort_nat::is_pos2nat_application (const atermpp::aterm &e)
	Recogniser for application of Pos2Nat.
const core::identifier_string &	mcrl2::data::sort_nat::nat2pos_name ()
	Generate identifier Nat2Pos.
const function_symbol &	mcrl2::data::sort_nat::nat2pos ()
	Constructor for function symbol Nat2Pos.
bool	mcrl2::data::sort_nat::is_nat2pos_function_symbol (const atermpp::aterm &e)
	Recogniser for function Nat2Pos.
application	mcrl2::data::sort_nat::nat2pos (const data_expression &arg0)
	Application of function symbol Nat2Pos.
void	mcrl2::data::sort_nat::make_nat2pos (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Nat2Pos.
bool	mcrl2::data::sort_nat::is_nat2pos_application (const atermpp::aterm &e)
	Recogniser for application of Nat2Pos.
const core::identifier_string &	mcrl2::data::sort_nat::maximum_name ()
	Generate identifier max.
function_symbol	mcrl2::data::sort_nat::maximum (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_maximum_function_symbol (const atermpp::aterm &e)
	Recogniser for function max.
application	mcrl2::data::sort_nat::maximum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol max.
void	mcrl2::data::sort_nat::make_maximum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol max.
bool	mcrl2::data::sort_nat::is_maximum_application (const atermpp::aterm &e)
	Recogniser for application of max.
const core::identifier_string &	mcrl2::data::sort_nat::minimum_name ()
	Generate identifier min.
function_symbol	mcrl2::data::sort_nat::minimum (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_minimum_function_symbol (const atermpp::aterm &e)
	Recogniser for function min.
application	mcrl2::data::sort_nat::minimum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol min.
void	mcrl2::data::sort_nat::make_minimum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol min.
bool	mcrl2::data::sort_nat::is_minimum_application (const atermpp::aterm &e)
	Recogniser for application of min.
const core::identifier_string &	mcrl2::data::sort_nat::succ_name ()
	Generate identifier succ.
function_symbol	mcrl2::data::sort_nat::succ (const sort_expression &s0)
bool	mcrl2::data::sort_nat::is_succ_function_symbol (const atermpp::aterm &e)
	Recogniser for function succ.
application	mcrl2::data::sort_nat::succ (const data_expression &arg0)
	Application of function symbol succ.
void	mcrl2::data::sort_nat::make_succ (data_expression &result, const data_expression &arg0)
	Make an application of function symbol succ.
bool	mcrl2::data::sort_nat::is_succ_application (const atermpp::aterm &e)
	Recogniser for application of succ.
const core::identifier_string &	mcrl2::data::sort_nat::pred_name ()
	Generate identifier pred.
const function_symbol &	mcrl2::data::sort_nat::pred ()
	Constructor for function symbol pred.
bool	mcrl2::data::sort_nat::is_pred_function_symbol (const atermpp::aterm &e)
	Recogniser for function pred.
application	mcrl2::data::sort_nat::pred (const data_expression &arg0)
	Application of function symbol pred.
void	mcrl2::data::sort_nat::make_pred (data_expression &result, const data_expression &arg0)
	Make an application of function symbol pred.
bool	mcrl2::data::sort_nat::is_pred_application (const atermpp::aterm &e)
	Recogniser for application of pred.
const core::identifier_string &	mcrl2::data::sort_nat::dub_name ()
	Generate identifier @dub.
const function_symbol &	mcrl2::data::sort_nat::dub ()
	Constructor for function symbol @dub.
bool	mcrl2::data::sort_nat::is_dub_function_symbol (const atermpp::aterm &e)
	Recogniser for function @dub.
application	mcrl2::data::sort_nat::dub (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @dub.
void	mcrl2::data::sort_nat::make_dub (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @dub.
bool	mcrl2::data::sort_nat::is_dub_application (const atermpp::aterm &e)
	Recogniser for application of @dub.
const core::identifier_string &	mcrl2::data::sort_nat::dubsucc_name ()
	Generate identifier @dubsucc.
const function_symbol &	mcrl2::data::sort_nat::dubsucc ()
	Constructor for function symbol @dubsucc.
bool	mcrl2::data::sort_nat::is_dubsucc_function_symbol (const atermpp::aterm &e)
	Recogniser for function @dubsucc.
application	mcrl2::data::sort_nat::dubsucc (const data_expression &arg0)
	Application of function symbol @dubsucc.
void	mcrl2::data::sort_nat::make_dubsucc (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @dubsucc.
bool	mcrl2::data::sort_nat::is_dubsucc_application (const atermpp::aterm &e)
	Recogniser for application of @dubsucc.
const core::identifier_string &	mcrl2::data::sort_nat::plus_name ()
	Generate identifier +.
function_symbol	mcrl2::data::sort_nat::plus (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_plus_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_nat::plus (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_nat::make_plus (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol +.
bool	mcrl2::data::sort_nat::is_plus_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_nat::gte_subtract_with_borrow_name ()
	Generate identifier @gtesubtb.
const function_symbol &	mcrl2::data::sort_nat::gte_subtract_with_borrow ()
	Constructor for function symbol @gtesubtb.
bool	mcrl2::data::sort_nat::is_gte_subtract_with_borrow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @gtesubtb.
application	mcrl2::data::sort_nat::gte_subtract_with_borrow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @gtesubtb.
void	mcrl2::data::sort_nat::make_gte_subtract_with_borrow (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @gtesubtb.
bool	mcrl2::data::sort_nat::is_gte_subtract_with_borrow_application (const atermpp::aterm &e)
	Recogniser for application of @gtesubtb.
const core::identifier_string &	mcrl2::data::sort_nat::times_name ()
	Generate identifier *.
function_symbol	mcrl2::data::sort_nat::times (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_times_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_nat::times (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_nat::make_times (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol *.
bool	mcrl2::data::sort_nat::is_times_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_nat::div_name ()
	Generate identifier div.
const function_symbol &	mcrl2::data::sort_nat::div ()
	Constructor for function symbol div.
bool	mcrl2::data::sort_nat::is_div_function_symbol (const atermpp::aterm &e)
	Recogniser for function div.
application	mcrl2::data::sort_nat::div (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol div.
void	mcrl2::data::sort_nat::make_div (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol div.
bool	mcrl2::data::sort_nat::is_div_application (const atermpp::aterm &e)
	Recogniser for application of div.
const core::identifier_string &	mcrl2::data::sort_nat::mod_name ()
	Generate identifier mod.
const function_symbol &	mcrl2::data::sort_nat::mod ()
	Constructor for function symbol mod.
bool	mcrl2::data::sort_nat::is_mod_function_symbol (const atermpp::aterm &e)
	Recogniser for function mod.
application	mcrl2::data::sort_nat::mod (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol mod.
void	mcrl2::data::sort_nat::make_mod (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol mod.
bool	mcrl2::data::sort_nat::is_mod_application (const atermpp::aterm &e)
	Recogniser for application of mod.
const core::identifier_string &	mcrl2::data::sort_nat::exp_name ()
	Generate identifier exp.
function_symbol	mcrl2::data::sort_nat::exp (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_exp_function_symbol (const atermpp::aterm &e)
	Recogniser for function exp.
application	mcrl2::data::sort_nat::exp (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol exp.
void	mcrl2::data::sort_nat::make_exp (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol exp.
bool	mcrl2::data::sort_nat::is_exp_application (const atermpp::aterm &e)
	Recogniser for application of exp.
const core::identifier_string &	mcrl2::data::sort_nat::even_name ()
	Generate identifier @even.
const function_symbol &	mcrl2::data::sort_nat::even ()
	Constructor for function symbol @even.
bool	mcrl2::data::sort_nat::is_even_function_symbol (const atermpp::aterm &e)
	Recogniser for function @even.
application	mcrl2::data::sort_nat::even (const data_expression &arg0)
	Application of function symbol @even.
void	mcrl2::data::sort_nat::make_even (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @even.
bool	mcrl2::data::sort_nat::is_even_application (const atermpp::aterm &e)
	Recogniser for application of @even.
const core::identifier_string &	mcrl2::data::sort_nat::monus_name ()
	Generate identifier @monus.
const function_symbol &	mcrl2::data::sort_nat::monus ()
	Constructor for function symbol @monus.
bool	mcrl2::data::sort_nat::is_monus_function_symbol (const atermpp::aterm &e)
	Recogniser for function @monus.
application	mcrl2::data::sort_nat::monus (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @monus.
void	mcrl2::data::sort_nat::make_monus (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @monus.
bool	mcrl2::data::sort_nat::is_monus_application (const atermpp::aterm &e)
	Recogniser for application of @monus.
const core::identifier_string &	mcrl2::data::sort_nat::swap_zero_name ()
	Generate identifier @swap_zero.
const function_symbol &	mcrl2::data::sort_nat::swap_zero ()
	Constructor for function symbol @swap_zero.
bool	mcrl2::data::sort_nat::is_swap_zero_function_symbol (const atermpp::aterm &e)
	Recogniser for function @swap_zero.
application	mcrl2::data::sort_nat::swap_zero (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @swap_zero.
void	mcrl2::data::sort_nat::make_swap_zero (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @swap_zero.
bool	mcrl2::data::sort_nat::is_swap_zero_application (const atermpp::aterm &e)
	Recogniser for application of @swap_zero.
const core::identifier_string &	mcrl2::data::sort_nat::swap_zero_add_name ()
	Generate identifier @swap_zero_add.
const function_symbol &	mcrl2::data::sort_nat::swap_zero_add ()
	Constructor for function symbol @swap_zero_add.
bool	mcrl2::data::sort_nat::is_swap_zero_add_function_symbol (const atermpp::aterm &e)
	Recogniser for function @swap_zero_add.
application	mcrl2::data::sort_nat::swap_zero_add (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @swap_zero_add.
void	mcrl2::data::sort_nat::make_swap_zero_add (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Make an application of function symbol @swap_zero_add.
bool	mcrl2::data::sort_nat::is_swap_zero_add_application (const atermpp::aterm &e)
	Recogniser for application of @swap_zero_add.
const core::identifier_string &	mcrl2::data::sort_nat::swap_zero_min_name ()
	Generate identifier @swap_zero_min.
const function_symbol &	mcrl2::data::sort_nat::swap_zero_min ()
	Constructor for function symbol @swap_zero_min.
bool	mcrl2::data::sort_nat::is_swap_zero_min_function_symbol (const atermpp::aterm &e)
	Recogniser for function @swap_zero_min.
application	mcrl2::data::sort_nat::swap_zero_min (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @swap_zero_min.
void	mcrl2::data::sort_nat::make_swap_zero_min (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Make an application of function symbol @swap_zero_min.
bool	mcrl2::data::sort_nat::is_swap_zero_min_application (const atermpp::aterm &e)
	Recogniser for application of @swap_zero_min.
const core::identifier_string &	mcrl2::data::sort_nat::swap_zero_monus_name ()
	Generate identifier @swap_zero_monus.
const function_symbol &	mcrl2::data::sort_nat::swap_zero_monus ()
	Constructor for function symbol @swap_zero_monus.
bool	mcrl2::data::sort_nat::is_swap_zero_monus_function_symbol (const atermpp::aterm &e)
	Recogniser for function @swap_zero_monus.
application	mcrl2::data::sort_nat::swap_zero_monus (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @swap_zero_monus.
void	mcrl2::data::sort_nat::make_swap_zero_monus (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Make an application of function symbol @swap_zero_monus.
bool	mcrl2::data::sort_nat::is_swap_zero_monus_application (const atermpp::aterm &e)
	Recogniser for application of @swap_zero_monus.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_name ()
	Generate identifier sqrt.
const function_symbol &	mcrl2::data::sort_nat::sqrt ()
	Constructor for function symbol sqrt.
bool	mcrl2::data::sort_nat::is_sqrt_function_symbol (const atermpp::aterm &e)
	Recogniser for function sqrt.
application	mcrl2::data::sort_nat::sqrt (const data_expression &arg0)
	Application of function symbol sqrt.
void	mcrl2::data::sort_nat::make_sqrt (data_expression &result, const data_expression &arg0)
	Make an application of function symbol sqrt.
bool	mcrl2::data::sort_nat::is_sqrt_application (const atermpp::aterm &e)
	Recogniser for application of sqrt.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_nat_aux_func_name ()
	Generate identifier @sqrt_nat.
const function_symbol &	mcrl2::data::sort_nat::sqrt_nat_aux_func ()
	Constructor for function symbol @sqrt_nat.
bool	mcrl2::data::sort_nat::is_sqrt_nat_aux_func_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_nat.
application	mcrl2::data::sort_nat::sqrt_nat_aux_func (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @sqrt_nat.
void	mcrl2::data::sort_nat::make_sqrt_nat_aux_func (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @sqrt_nat.
bool	mcrl2::data::sort_nat::is_sqrt_nat_aux_func_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_nat.
const core::identifier_string &	mcrl2::data::sort_nat::first_name ()
	Generate identifier @first.
const function_symbol &	mcrl2::data::sort_nat::first ()
	Constructor for function symbol @first.
bool	mcrl2::data::sort_nat::is_first_function_symbol (const atermpp::aterm &e)
	Recogniser for function @first.
application	mcrl2::data::sort_nat::first (const data_expression &arg0)
	Application of function symbol @first.
void	mcrl2::data::sort_nat::make_first (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @first.
bool	mcrl2::data::sort_nat::is_first_application (const atermpp::aterm &e)
	Recogniser for application of @first.
const core::identifier_string &	mcrl2::data::sort_nat::last_name ()
	Generate identifier @last.
const function_symbol &	mcrl2::data::sort_nat::last ()
	Constructor for function symbol @last.
bool	mcrl2::data::sort_nat::is_last_function_symbol (const atermpp::aterm &e)
	Recogniser for function @last.
application	mcrl2::data::sort_nat::last (const data_expression &arg0)
	Application of function symbol @last.
void	mcrl2::data::sort_nat::make_last (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @last.
bool	mcrl2::data::sort_nat::is_last_application (const atermpp::aterm &e)
	Recogniser for application of @last.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_name ()
	Generate identifier @divmod.
const function_symbol &	mcrl2::data::sort_nat::divmod ()
	Constructor for function symbol @divmod.
bool	mcrl2::data::sort_nat::is_divmod_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod.
application	mcrl2::data::sort_nat::divmod (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @divmod.
void	mcrl2::data::sort_nat::make_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @divmod.
bool	mcrl2::data::sort_nat::is_divmod_application (const atermpp::aterm &e)
	Recogniser for application of @divmod.
const core::identifier_string &	mcrl2::data::sort_nat::generalised_divmod_name ()
	Generate identifier @gdivmod.
const function_symbol &	mcrl2::data::sort_nat::generalised_divmod ()
	Constructor for function symbol @gdivmod.
bool	mcrl2::data::sort_nat::is_generalised_divmod_function_symbol (const atermpp::aterm &e)
	Recogniser for function @gdivmod.
application	mcrl2::data::sort_nat::generalised_divmod (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @gdivmod.
void	mcrl2::data::sort_nat::make_generalised_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @gdivmod.
bool	mcrl2::data::sort_nat::is_generalised_divmod_application (const atermpp::aterm &e)
	Recogniser for application of @gdivmod.
const core::identifier_string &	mcrl2::data::sort_nat::doubly_generalised_divmod_name ()
	Generate identifier @ggdivmod.
const function_symbol &	mcrl2::data::sort_nat::doubly_generalised_divmod ()
	Constructor for function symbol @ggdivmod.
bool	mcrl2::data::sort_nat::is_doubly_generalised_divmod_function_symbol (const atermpp::aterm &e)
	Recogniser for function @ggdivmod.
application	mcrl2::data::sort_nat::doubly_generalised_divmod (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @ggdivmod.
void	mcrl2::data::sort_nat::make_doubly_generalised_divmod (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @ggdivmod.
bool	mcrl2::data::sort_nat::is_doubly_generalised_divmod_application (const atermpp::aterm &e)
	Recogniser for application of @ggdivmod.
function_symbol_vector	mcrl2::data::sort_nat::nat_generate_functions_code ()
	Give all system defined mappings for nat.
function_symbol_vector	mcrl2::data::sort_nat::nat_generate_constructors_and_functions_code ()
	Give all system defined mappings and constructors for nat.
function_symbol_vector	mcrl2::data::sort_nat::nat_mCRL2_usable_mappings ()
	Give all system defined mappings that can be used in mCRL2 specs for nat.
implementation_map	mcrl2::data::sort_nat::nat_cpp_implementable_mappings ()
	Give all system defined mappings that are to be implemented in C++ code for nat.
const data_expression &	mcrl2::data::sort_nat::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_nat::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_nat::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_nat::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_nat::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_nat::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
const data_expression &	mcrl2::data::sort_nat::arg4 (const data_expression &e)
	Function for projecting out argument. arg4 from an application.
data_equation_vector	mcrl2::data::sort_nat::nat_generate_equations_code ()
	Give all system defined equations for nat.