nat64.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.

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::natnatpair_name ()
const basic_sort &	mcrl2::data::sort_nat::natnatpair ()
	Constructor for sort expression @NatNatPair.
bool	mcrl2::data::sort_nat::is_natnatpair (const sort_expression &e)
	Recogniser for sort expression @NatNatPair.
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::succ_nat_name ()
	Generate identifier @succ_nat.
const function_symbol &	mcrl2::data::sort_nat::succ_nat ()
	Constructor for function symbol @succ_nat.
bool	mcrl2::data::sort_nat::is_succ_nat_function_symbol (const atermpp::aterm &e)
	Recogniser for function @succ_nat.
application	mcrl2::data::sort_nat::succ_nat (const data_expression &arg0)
	Application of function symbol @succ_nat.
void	mcrl2::data::sort_nat::make_succ_nat (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @succ_nat.
bool	mcrl2::data::sort_nat::is_succ_nat_application (const atermpp::aterm &e)
	Recogniser for application of @succ_nat.
const core::identifier_string &	mcrl2::data::sort_nat::nnpair_name ()
	Generate identifier @nnPair.
const function_symbol &	mcrl2::data::sort_nat::nnpair ()
	Constructor for function symbol @nnPair.
bool	mcrl2::data::sort_nat::is_nnpair_function_symbol (const atermpp::aterm &e)
	Recogniser for function @nnPair.
application	mcrl2::data::sort_nat::nnpair (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @nnPair.
void	mcrl2::data::sort_nat::make_nnpair (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @nnPair.
bool	mcrl2::data::sort_nat::is_nnpair_application (const atermpp::aterm &e)
	Recogniser for application of @nnPair.
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::most_significant_digit_nat_name ()
	Generate identifier @most_significant_digitNat.
const function_symbol &	mcrl2::data::sort_nat::most_significant_digit_nat ()
	Constructor for function symbol @most_significant_digitNat.
bool	mcrl2::data::sort_nat::is_most_significant_digit_nat_function_symbol (const atermpp::aterm &e)
	Recogniser for function @most_significant_digitNat.
application	mcrl2::data::sort_nat::most_significant_digit_nat (const data_expression &arg0)
	Application of function symbol @most_significant_digitNat.
void	mcrl2::data::sort_nat::make_most_significant_digit_nat (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @most_significant_digitNat.
bool	mcrl2::data::sort_nat::is_most_significant_digit_nat_application (const atermpp::aterm &e)
	Recogniser for application of @most_significant_digitNat.
const core::identifier_string &	mcrl2::data::sort_nat::concat_digit_name ()
	Generate identifier @concat_digit.
function_symbol	mcrl2::data::sort_nat::concat_digit (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_concat_digit_function_symbol (const atermpp::aterm &e)
	Recogniser for function @concat_digit.
application	mcrl2::data::sort_nat::concat_digit (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @concat_digit.
void	mcrl2::data::sort_nat::make_concat_digit (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @concat_digit.
bool	mcrl2::data::sort_nat::is_concat_digit_application (const atermpp::aterm &e)
	Recogniser for application of @concat_digit.
const core::identifier_string &	mcrl2::data::sort_nat::equals_zero_name ()
	Generate identifier @equals_zero.
const function_symbol &	mcrl2::data::sort_nat::equals_zero ()
	Constructor for function symbol @equals_zero.
bool	mcrl2::data::sort_nat::is_equals_zero_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_zero.
application	mcrl2::data::sort_nat::equals_zero (const data_expression &arg0)
	Application of function symbol @equals_zero.
void	mcrl2::data::sort_nat::make_equals_zero (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_zero.
bool	mcrl2::data::sort_nat::is_equals_zero_application (const atermpp::aterm &e)
	Recogniser for application of @equals_zero.
const core::identifier_string &	mcrl2::data::sort_nat::not_equals_zero_name ()
	Generate identifier @not_equals_zero.
const function_symbol &	mcrl2::data::sort_nat::not_equals_zero ()
	Constructor for function symbol @not_equals_zero.
bool	mcrl2::data::sort_nat::is_not_equals_zero_function_symbol (const atermpp::aterm &e)
	Recogniser for function @not_equals_zero.
application	mcrl2::data::sort_nat::not_equals_zero (const data_expression &arg0)
	Application of function symbol @not_equals_zero.
void	mcrl2::data::sort_nat::make_not_equals_zero (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @not_equals_zero.
bool	mcrl2::data::sort_nat::is_not_equals_zero_application (const atermpp::aterm &e)
	Recogniser for application of @not_equals_zero.
const core::identifier_string &	mcrl2::data::sort_nat::equals_one_name ()
	Generate identifier @equals_one.
function_symbol	mcrl2::data::sort_nat::equals_one (const sort_expression &s0)
bool	mcrl2::data::sort_nat::is_equals_one_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_one.
application	mcrl2::data::sort_nat::equals_one (const data_expression &arg0)
	Application of function symbol @equals_one.
void	mcrl2::data::sort_nat::make_equals_one (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_one.
bool	mcrl2::data::sort_nat::is_equals_one_application (const atermpp::aterm &e)
	Recogniser for application of @equals_one.
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::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::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::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::pred_whr_name ()
	Generate identifier @pred_whr.
const function_symbol &	mcrl2::data::sort_nat::pred_whr ()
	Constructor for function symbol @pred_whr.
bool	mcrl2::data::sort_nat::is_pred_whr_function_symbol (const atermpp::aterm &e)
	Recogniser for function @pred_whr.
application	mcrl2::data::sort_nat::pred_whr (const data_expression &arg0)
	Application of function symbol @pred_whr.
void	mcrl2::data::sort_nat::make_pred_whr (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @pred_whr.
bool	mcrl2::data::sort_nat::is_pred_whr_application (const atermpp::aterm &e)
	Recogniser for application of @pred_whr.
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::add_with_carry_name ()
	Generate identifier @add_with_carry.
function_symbol	mcrl2::data::sort_nat::add_with_carry (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_add_with_carry_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_with_carry.
application	mcrl2::data::sort_nat::add_with_carry (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_with_carry.
void	mcrl2::data::sort_nat::make_add_with_carry (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_with_carry.
bool	mcrl2::data::sort_nat::is_add_with_carry_application (const atermpp::aterm &e)
	Recogniser for application of @add_with_carry.
const core::identifier_string &	mcrl2::data::sort_nat::auxiliary_plus_nat_name ()
	Generate identifier @plus_nat.
const function_symbol &	mcrl2::data::sort_nat::auxiliary_plus_nat ()
	Constructor for function symbol @plus_nat.
bool	mcrl2::data::sort_nat::is_auxiliary_plus_nat_function_symbol (const atermpp::aterm &e)
	Recogniser for function @plus_nat.
application	mcrl2::data::sort_nat::auxiliary_plus_nat (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @plus_nat.
void	mcrl2::data::sort_nat::make_auxiliary_plus_nat (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @plus_nat.
bool	mcrl2::data::sort_nat::is_auxiliary_plus_nat_application (const atermpp::aterm &e)
	Recogniser for application of @plus_nat.
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::times_ordered_name ()
	Generate identifier @times_ordered.
function_symbol	mcrl2::data::sort_nat::times_ordered (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_nat::is_times_ordered_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_ordered.
application	mcrl2::data::sort_nat::times_ordered (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @times_ordered.
void	mcrl2::data::sort_nat::make_times_ordered (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @times_ordered.
bool	mcrl2::data::sort_nat::is_times_ordered_application (const atermpp::aterm &e)
	Recogniser for application of @times_ordered.
const core::identifier_string &	mcrl2::data::sort_nat::times_overflow_name ()
	Generate identifier @times_overflow.
function_symbol	mcrl2::data::sort_nat::times_overflow (const sort_expression &s0, const sort_expression &s1, const sort_expression &s2)
bool	mcrl2::data::sort_nat::is_times_overflow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_overflow.
application	mcrl2::data::sort_nat::times_overflow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @times_overflow.
void	mcrl2::data::sort_nat::make_times_overflow (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @times_overflow.
bool	mcrl2::data::sort_nat::is_times_overflow_application (const atermpp::aterm &e)
	Recogniser for application of @times_overflow.
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::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::natpred_name ()
	Generate identifier @natpred.
const function_symbol &	mcrl2::data::sort_nat::natpred ()
	Constructor for function symbol @natpred.
bool	mcrl2::data::sort_nat::is_natpred_function_symbol (const atermpp::aterm &e)
	Recogniser for function @natpred.
application	mcrl2::data::sort_nat::natpred (const data_expression &arg0)
	Application of function symbol @natpred.
void	mcrl2::data::sort_nat::make_natpred (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @natpred.
bool	mcrl2::data::sort_nat::is_natpred_application (const atermpp::aterm &e)
	Recogniser for application of @natpred.
const core::identifier_string &	mcrl2::data::sort_nat::is_odd_name ()
	Generate identifier @is_odd.
const function_symbol &	mcrl2::data::sort_nat::is_odd ()
	Constructor for function symbol @is_odd.
bool	mcrl2::data::sort_nat::is_is_odd_function_symbol (const atermpp::aterm &e)
	Recogniser for function @is_odd.
application	mcrl2::data::sort_nat::is_odd (const data_expression &arg0)
	Application of function symbol @is_odd.
void	mcrl2::data::sort_nat::make_is_odd (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @is_odd.
bool	mcrl2::data::sort_nat::is_is_odd_application (const atermpp::aterm &e)
	Recogniser for application of @is_odd.
const core::identifier_string &	mcrl2::data::sort_nat::div2_name ()
	Generate identifier @div2.
const function_symbol &	mcrl2::data::sort_nat::div2 ()
	Constructor for function symbol @div2.
bool	mcrl2::data::sort_nat::is_div2_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div2.
application	mcrl2::data::sort_nat::div2 (const data_expression &arg0)
	Application of function symbol @div2.
void	mcrl2::data::sort_nat::make_div2 (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @div2.
bool	mcrl2::data::sort_nat::is_div2_application (const atermpp::aterm &e)
	Recogniser for application of @div2.
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::monus_whr_name ()
	Generate identifier @monus_whr.
const function_symbol &	mcrl2::data::sort_nat::monus_whr ()
	Constructor for function symbol @monus_whr.
bool	mcrl2::data::sort_nat::is_monus_whr_function_symbol (const atermpp::aterm &e)
	Recogniser for function @monus_whr.
application	mcrl2::data::sort_nat::monus_whr (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @monus_whr.
void	mcrl2::data::sort_nat::make_monus_whr (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @monus_whr.
bool	mcrl2::data::sort_nat::is_monus_whr_application (const atermpp::aterm &e)
	Recogniser for application of @monus_whr.
const core::identifier_string &	mcrl2::data::sort_nat::exp_aux3p_name ()
	Generate identifier @exp_aux3p.
const function_symbol &	mcrl2::data::sort_nat::exp_aux3p ()
	Constructor for function symbol @exp_aux3p.
bool	mcrl2::data::sort_nat::is_exp_aux3p_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_aux3p.
application	mcrl2::data::sort_nat::exp_aux3p (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_aux3p.
void	mcrl2::data::sort_nat::make_exp_aux3p (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_aux3p.
bool	mcrl2::data::sort_nat::is_exp_aux3p_application (const atermpp::aterm &e)
	Recogniser for application of @exp_aux3p.
const core::identifier_string &	mcrl2::data::sort_nat::exp_aux4p_name ()
	Generate identifier @exp_aux4p.
const function_symbol &	mcrl2::data::sort_nat::exp_aux4p ()
	Constructor for function symbol @exp_aux4p.
bool	mcrl2::data::sort_nat::is_exp_aux4p_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_aux4p.
application	mcrl2::data::sort_nat::exp_aux4p (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @exp_aux4p.
void	mcrl2::data::sort_nat::make_exp_aux4p (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 @exp_aux4p.
bool	mcrl2::data::sort_nat::is_exp_aux4p_application (const atermpp::aterm &e)
	Recogniser for application of @exp_aux4p.
const core::identifier_string &	mcrl2::data::sort_nat::exp_aux3n_name ()
	Generate identifier @exp_aux3n.
const function_symbol &	mcrl2::data::sort_nat::exp_aux3n ()
	Constructor for function symbol @exp_aux3n.
bool	mcrl2::data::sort_nat::is_exp_aux3n_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_aux3n.
application	mcrl2::data::sort_nat::exp_aux3n (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_aux3n.
void	mcrl2::data::sort_nat::make_exp_aux3n (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_aux3n.
bool	mcrl2::data::sort_nat::is_exp_aux3n_application (const atermpp::aterm &e)
	Recogniser for application of @exp_aux3n.
const core::identifier_string &	mcrl2::data::sort_nat::exp_aux4n_name ()
	Generate identifier @exp_aux4n.
const function_symbol &	mcrl2::data::sort_nat::exp_aux4n ()
	Constructor for function symbol @exp_aux4n.
bool	mcrl2::data::sort_nat::is_exp_aux4n_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_aux4n.
application	mcrl2::data::sort_nat::exp_aux4n (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @exp_aux4n.
void	mcrl2::data::sort_nat::make_exp_aux4n (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 @exp_aux4n.
bool	mcrl2::data::sort_nat::is_exp_aux4n_application (const atermpp::aterm &e)
	Recogniser for application of @exp_aux4n.
const core::identifier_string &	mcrl2::data::sort_nat::exp_auxtruep_name ()
	Generate identifier @exp_auxtruep.
const function_symbol &	mcrl2::data::sort_nat::exp_auxtruep ()
	Constructor for function symbol @exp_auxtruep.
bool	mcrl2::data::sort_nat::is_exp_auxtruep_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_auxtruep.
application	mcrl2::data::sort_nat::exp_auxtruep (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_auxtruep.
void	mcrl2::data::sort_nat::make_exp_auxtruep (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_auxtruep.
bool	mcrl2::data::sort_nat::is_exp_auxtruep_application (const atermpp::aterm &e)
	Recogniser for application of @exp_auxtruep.
const core::identifier_string &	mcrl2::data::sort_nat::exp_auxtruen_name ()
	Generate identifier @exp_auxtruen.
const function_symbol &	mcrl2::data::sort_nat::exp_auxtruen ()
	Constructor for function symbol @exp_auxtruen.
bool	mcrl2::data::sort_nat::is_exp_auxtruen_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_auxtruen.
application	mcrl2::data::sort_nat::exp_auxtruen (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_auxtruen.
void	mcrl2::data::sort_nat::make_exp_auxtruen (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_auxtruen.
bool	mcrl2::data::sort_nat::is_exp_auxtruen_application (const atermpp::aterm &e)
	Recogniser for application of @exp_auxtruen.
const core::identifier_string &	mcrl2::data::sort_nat::exp_auxfalsep_name ()
	Generate identifier @exp_auxfalsep.
const function_symbol &	mcrl2::data::sort_nat::exp_auxfalsep ()
	Constructor for function symbol @exp_auxfalsep.
bool	mcrl2::data::sort_nat::is_exp_auxfalsep_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_auxfalsep.
application	mcrl2::data::sort_nat::exp_auxfalsep (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_auxfalsep.
void	mcrl2::data::sort_nat::make_exp_auxfalsep (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_auxfalsep.
bool	mcrl2::data::sort_nat::is_exp_auxfalsep_application (const atermpp::aterm &e)
	Recogniser for application of @exp_auxfalsep.
const core::identifier_string &	mcrl2::data::sort_nat::exp_auxfalsen_name ()
	Generate identifier @exp_auxfalsen.
const function_symbol &	mcrl2::data::sort_nat::exp_auxfalsen ()
	Constructor for function symbol @exp_auxfalsen.
bool	mcrl2::data::sort_nat::is_exp_auxfalsen_function_symbol (const atermpp::aterm &e)
	Recogniser for function @exp_auxfalsen.
application	mcrl2::data::sort_nat::exp_auxfalsen (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @exp_auxfalsen.
void	mcrl2::data::sort_nat::make_exp_auxfalsen (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @exp_auxfalsen.
bool	mcrl2::data::sort_nat::is_exp_auxfalsen_application (const atermpp::aterm &e)
	Recogniser for application of @exp_auxfalsen.
const core::identifier_string &	mcrl2::data::sort_nat::div_bold_name ()
	Generate identifier @div_bold.
const function_symbol &	mcrl2::data::sort_nat::div_bold ()
	Constructor for function symbol @div_bold.
bool	mcrl2::data::sort_nat::is_div_bold_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_bold.
application	mcrl2::data::sort_nat::div_bold (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @div_bold.
void	mcrl2::data::sort_nat::make_div_bold (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @div_bold.
bool	mcrl2::data::sort_nat::is_div_bold_application (const atermpp::aterm &e)
	Recogniser for application of @div_bold.
const core::identifier_string &	mcrl2::data::sort_nat::div_bold_whr_name ()
	Generate identifier @div_bold_whr.
const function_symbol &	mcrl2::data::sort_nat::div_bold_whr ()
	Constructor for function symbol @div_bold_whr.
bool	mcrl2::data::sort_nat::is_div_bold_whr_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_bold_whr.
application	mcrl2::data::sort_nat::div_bold_whr (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5)
	Application of function symbol @div_bold_whr.
void	mcrl2::data::sort_nat::make_div_bold_whr (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5)
	Make an application of function symbol @div_bold_whr.
bool	mcrl2::data::sort_nat::is_div_bold_whr_application (const atermpp::aterm &e)
	Recogniser for application of @div_bold_whr.
const core::identifier_string &	mcrl2::data::sort_nat::div_whr1_name ()
	Generate identifier @div_whr1.
const function_symbol &	mcrl2::data::sort_nat::div_whr1 ()
	Constructor for function symbol @div_whr1.
bool	mcrl2::data::sort_nat::is_div_whr1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_whr1.
application	mcrl2::data::sort_nat::div_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @div_whr1.
void	mcrl2::data::sort_nat::make_div_whr1 (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 @div_whr1.
bool	mcrl2::data::sort_nat::is_div_whr1_application (const atermpp::aterm &e)
	Recogniser for application of @div_whr1.
const core::identifier_string &	mcrl2::data::sort_nat::div_whr2_name ()
	Generate identifier @div_whr2.
const function_symbol &	mcrl2::data::sort_nat::div_whr2 ()
	Constructor for function symbol @div_whr2.
bool	mcrl2::data::sort_nat::is_div_whr2_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_whr2.
application	mcrl2::data::sort_nat::div_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @div_whr2.
void	mcrl2::data::sort_nat::make_div_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @div_whr2.
bool	mcrl2::data::sort_nat::is_div_whr2_application (const atermpp::aterm &e)
	Recogniser for application of @div_whr2.
const core::identifier_string &	mcrl2::data::sort_nat::mod_whr1_name ()
	Generate identifier @mod_whr1.
const function_symbol &	mcrl2::data::sort_nat::mod_whr1 ()
	Constructor for function symbol @mod_whr1.
bool	mcrl2::data::sort_nat::is_mod_whr1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @mod_whr1.
application	mcrl2::data::sort_nat::mod_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @mod_whr1.
void	mcrl2::data::sort_nat::make_mod_whr1 (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 @mod_whr1.
bool	mcrl2::data::sort_nat::is_mod_whr1_application (const atermpp::aterm &e)
	Recogniser for application of @mod_whr1.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_name ()
	Generate identifier @divmod_aux.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux ()
	Constructor for function symbol @divmod_aux.
bool	mcrl2::data::sort_nat::is_divmod_aux_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux.
application	mcrl2::data::sort_nat::divmod_aux (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @divmod_aux.
void	mcrl2::data::sort_nat::make_divmod_aux (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @divmod_aux.
bool	mcrl2::data::sort_nat::is_divmod_aux_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr1_name ()
	Generate identifier @divmod_aux_whr1.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr1 ()
	Constructor for function symbol @divmod_aux_whr1.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr1.
application	mcrl2::data::sort_nat::divmod_aux_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @divmod_aux_whr1.
void	mcrl2::data::sort_nat::make_divmod_aux_whr1 (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 @divmod_aux_whr1.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr1_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr1.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr2_name ()
	Generate identifier @divmod_aux_whr2.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr2 ()
	Constructor for function symbol @divmod_aux_whr2.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr2_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr2.
application	mcrl2::data::sort_nat::divmod_aux_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @divmod_aux_whr2.
void	mcrl2::data::sort_nat::make_divmod_aux_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @divmod_aux_whr2.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr2_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr2.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr3_name ()
	Generate identifier @divmod_aux_whr3.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr3 ()
	Constructor for function symbol @divmod_aux_whr3.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr3_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr3.
application	mcrl2::data::sort_nat::divmod_aux_whr3 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @divmod_aux_whr3.
void	mcrl2::data::sort_nat::make_divmod_aux_whr3 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @divmod_aux_whr3.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr3_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr3.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr4_name ()
	Generate identifier @divmod_aux_whr4.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr4 ()
	Constructor for function symbol @divmod_aux_whr4.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr4_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr4.
application	mcrl2::data::sort_nat::divmod_aux_whr4 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @divmod_aux_whr4.
void	mcrl2::data::sort_nat::make_divmod_aux_whr4 (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 @divmod_aux_whr4.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr4_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr4.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr5_name ()
	Generate identifier @divmod_aux_whr5.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr5 ()
	Constructor for function symbol @divmod_aux_whr5.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr5_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr5.
application	mcrl2::data::sort_nat::divmod_aux_whr5 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @divmod_aux_whr5.
void	mcrl2::data::sort_nat::make_divmod_aux_whr5 (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 @divmod_aux_whr5.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr5_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr5.
const core::identifier_string &	mcrl2::data::sort_nat::divmod_aux_whr6_name ()
	Generate identifier @divmod_aux_whr6.
const function_symbol &	mcrl2::data::sort_nat::divmod_aux_whr6 ()
	Constructor for function symbol @divmod_aux_whr6.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr6_function_symbol (const atermpp::aterm &e)
	Recogniser for function @divmod_aux_whr6.
application	mcrl2::data::sort_nat::divmod_aux_whr6 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @divmod_aux_whr6.
void	mcrl2::data::sort_nat::make_divmod_aux_whr6 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @divmod_aux_whr6.
bool	mcrl2::data::sort_nat::is_divmod_aux_whr6_application (const atermpp::aterm &e)
	Recogniser for application of @divmod_aux_whr6.
const core::identifier_string &	mcrl2::data::sort_nat::msd_name ()
	Generate identifier @msd.
const function_symbol &	mcrl2::data::sort_nat::msd ()
	Constructor for function symbol @msd.
bool	mcrl2::data::sort_nat::is_msd_function_symbol (const atermpp::aterm &e)
	Recogniser for function @msd.
application	mcrl2::data::sort_nat::msd (const data_expression &arg0)
	Application of function symbol @msd.
void	mcrl2::data::sort_nat::make_msd (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @msd.
bool	mcrl2::data::sort_nat::is_msd_application (const atermpp::aterm &e)
	Recogniser for application of @msd.
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_whr1_name ()
	Generate identifier @sqrt_whr1.
const function_symbol &	mcrl2::data::sort_nat::sqrt_whr1 ()
	Constructor for function symbol @sqrt_whr1.
bool	mcrl2::data::sort_nat::is_sqrt_whr1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_whr1.
application	mcrl2::data::sort_nat::sqrt_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @sqrt_whr1.
void	mcrl2::data::sort_nat::make_sqrt_whr1 (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 @sqrt_whr1.
bool	mcrl2::data::sort_nat::is_sqrt_whr1_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_whr1.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_whr2_name ()
	Generate identifier @sqrt_whr2.
const function_symbol &	mcrl2::data::sort_nat::sqrt_whr2 ()
	Constructor for function symbol @sqrt_whr2.
bool	mcrl2::data::sort_nat::is_sqrt_whr2_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_whr2.
application	mcrl2::data::sort_nat::sqrt_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @sqrt_whr2.
void	mcrl2::data::sort_nat::make_sqrt_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @sqrt_whr2.
bool	mcrl2::data::sort_nat::is_sqrt_whr2_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_whr2.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_name ()
	Generate identifier @sqrt_pair.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair ()
	Constructor for function symbol @sqrt_pair.
bool	mcrl2::data::sort_nat::is_sqrt_pair_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair.
application	mcrl2::data::sort_nat::sqrt_pair (const data_expression &arg0)
	Application of function symbol @sqrt_pair.
void	mcrl2::data::sort_nat::make_sqrt_pair (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @sqrt_pair.
bool	mcrl2::data::sort_nat::is_sqrt_pair_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr1_name ()
	Generate identifier @sqrt_pair_whr1.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr1 ()
	Constructor for function symbol @sqrt_pair_whr1.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr1.
application	mcrl2::data::sort_nat::sqrt_pair_whr1 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @sqrt_pair_whr1.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr1 (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 @sqrt_pair_whr1.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr1_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr1.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr2_name ()
	Generate identifier @sqrt_pair_whr2.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr2 ()
	Constructor for function symbol @sqrt_pair_whr2.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr2_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr2.
application	mcrl2::data::sort_nat::sqrt_pair_whr2 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @sqrt_pair_whr2.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr2 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @sqrt_pair_whr2.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr2_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr2.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr3_name ()
	Generate identifier @sqrt_pair_whr3.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr3 ()
	Constructor for function symbol @sqrt_pair_whr3.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr3_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr3.
application	mcrl2::data::sort_nat::sqrt_pair_whr3 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @sqrt_pair_whr3.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr3 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @sqrt_pair_whr3.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr3_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr3.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr4_name ()
	Generate identifier @sqrt_pair_whr4.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr4 ()
	Constructor for function symbol @sqrt_pair_whr4.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr4_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr4.
application	mcrl2::data::sort_nat::sqrt_pair_whr4 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5)
	Application of function symbol @sqrt_pair_whr4.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr4 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4, const data_expression &arg5)
	Make an application of function symbol @sqrt_pair_whr4.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr4_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr4.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr5_name ()
	Generate identifier @sqrt_pair_whr5.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr5 ()
	Constructor for function symbol @sqrt_pair_whr5.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr5_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr5.
application	mcrl2::data::sort_nat::sqrt_pair_whr5 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Application of function symbol @sqrt_pair_whr5.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr5 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3, const data_expression &arg4)
	Make an application of function symbol @sqrt_pair_whr5.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr5_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr5.
const core::identifier_string &	mcrl2::data::sort_nat::sqrt_pair_whr6_name ()
	Generate identifier @sqrt_pair_whr6.
const function_symbol &	mcrl2::data::sort_nat::sqrt_pair_whr6 ()
	Constructor for function symbol @sqrt_pair_whr6.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr6_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_pair_whr6.
application	mcrl2::data::sort_nat::sqrt_pair_whr6 (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @sqrt_pair_whr6.
void	mcrl2::data::sort_nat::make_sqrt_pair_whr6 (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @sqrt_pair_whr6.
bool	mcrl2::data::sort_nat::is_sqrt_pair_whr6_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_pair_whr6.
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.
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.
const data_expression &	mcrl2::data::sort_nat::arg5 (const data_expression &e)
	Function for projecting out argument. arg5 from an application.
const data_expression &	mcrl2::data::sort_nat::arg6 (const data_expression &e)
	Function for projecting out argument. arg6 from an application.
data_equation_vector	mcrl2::data::sort_nat::nat_generate_equations_code ()
	Give all system defined equations for nat.