machine_word.h File Reference

The standard sort machine_word. More...

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_machine_word
	Namespace for system defined sort machine_word.

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

Functions
const core::identifier_string &	mcrl2::data::sort_machine_word::machine_word_name ()
const basic_sort &	mcrl2::data::sort_machine_word::machine_word ()
	Constructor for sort expression @word.
bool	mcrl2::data::sort_machine_word::is_machine_word (const sort_expression &e)
	Recogniser for sort expression @word.
const core::identifier_string &	mcrl2::data::sort_machine_word::zero_word_name ()
	Generate identifier @zero_word.
const function_symbol &	mcrl2::data::sort_machine_word::zero_word ()
	Constructor for function symbol @zero_word.
bool	mcrl2::data::sort_machine_word::is_zero_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @zero_word.
void	mcrl2::data::sort_machine_word::zero_word_manual_implementation (data_expression &result)
	The machine number representing 0.
void	mcrl2::data::sort_machine_word::zero_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::succ_word_name ()
	Generate identifier @succ_word.
const function_symbol &	mcrl2::data::sort_machine_word::succ_word ()
	Constructor for function symbol @succ_word.
bool	mcrl2::data::sort_machine_word::is_succ_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @succ_word.
application	mcrl2::data::sort_machine_word::succ_word (const data_expression &arg0)
	Application of function symbol @succ_word.
void	mcrl2::data::sort_machine_word::make_succ_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @succ_word.
bool	mcrl2::data::sort_machine_word::is_succ_word_application (const atermpp::aterm &e)
	Recogniser for application of @succ_word.
void	mcrl2::data::sort_machine_word::succ_word_manual_implementation (data_expression &result, const data_expression &e)
	The successor function on a machine numbers, that wraps around.
void	mcrl2::data::sort_machine_word::succ_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
function_symbol_vector	mcrl2::data::sort_machine_word::machine_word_generate_constructors_code ()
	Give all system defined constructors for machine_word.
function_symbol_vector	mcrl2::data::sort_machine_word::machine_word_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for machine_word.
implementation_map	mcrl2::data::sort_machine_word::machine_word_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for machine_word.
const core::identifier_string &	mcrl2::data::sort_machine_word::one_word_name ()
	Generate identifier @one_word.
const function_symbol &	mcrl2::data::sort_machine_word::one_word ()
	Constructor for function symbol @one_word.
bool	mcrl2::data::sort_machine_word::is_one_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @one_word.
void	mcrl2::data::sort_machine_word::one_word_manual_implementation (data_expression &result)
	The machine number representing 1.
void	mcrl2::data::sort_machine_word::one_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::two_word_name ()
	Generate identifier @two_word.
const function_symbol &	mcrl2::data::sort_machine_word::two_word ()
	Constructor for function symbol @two_word.
bool	mcrl2::data::sort_machine_word::is_two_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @two_word.
void	mcrl2::data::sort_machine_word::two_word_manual_implementation (data_expression &result)
	The machine number representing 2.
void	mcrl2::data::sort_machine_word::two_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::three_word_name ()
	Generate identifier @three_word.
const function_symbol &	mcrl2::data::sort_machine_word::three_word ()
	Constructor for function symbol @three_word.
bool	mcrl2::data::sort_machine_word::is_three_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @three_word.
void	mcrl2::data::sort_machine_word::three_word_manual_implementation (data_expression &result)
	The machine number representing 3.
void	mcrl2::data::sort_machine_word::three_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::four_word_name ()
	Generate identifier @four_word.
const function_symbol &	mcrl2::data::sort_machine_word::four_word ()
	Constructor for function symbol @four_word.
bool	mcrl2::data::sort_machine_word::is_four_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @four_word.
void	mcrl2::data::sort_machine_word::four_word_manual_implementation (data_expression &result)
	The machine number representing 4.
void	mcrl2::data::sort_machine_word::four_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::max_word_name ()
	Generate identifier @max_word.
const function_symbol &	mcrl2::data::sort_machine_word::max_word ()
	Constructor for function symbol @max_word.
bool	mcrl2::data::sort_machine_word::is_max_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @max_word.
void	mcrl2::data::sort_machine_word::max_word_manual_implementation (data_expression &result)
	The largest representable machine number.
void	mcrl2::data::sort_machine_word::max_word_application (data_expression &result, const data_expression &a)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::equals_zero_word_name ()
	Generate identifier @equals_zero_word.
const function_symbol &	mcrl2::data::sort_machine_word::equals_zero_word ()
	Constructor for function symbol @equals_zero_word.
bool	mcrl2::data::sort_machine_word::is_equals_zero_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_zero_word.
application	mcrl2::data::sort_machine_word::equals_zero_word (const data_expression &arg0)
	Application of function symbol @equals_zero_word.
void	mcrl2::data::sort_machine_word::make_equals_zero_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_zero_word.
bool	mcrl2::data::sort_machine_word::is_equals_zero_word_application (const atermpp::aterm &e)
	Recogniser for application of @equals_zero_word.
void	mcrl2::data::sort_machine_word::equals_zero_word_manual_implementation (data_expression &result, const data_expression &e)
	Checks whether the argument is equal to 0.
void	mcrl2::data::sort_machine_word::equals_zero_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::not_equals_zero_word_name ()
	Generate identifier @not_equals_zero_word.
const function_symbol &	mcrl2::data::sort_machine_word::not_equals_zero_word ()
	Constructor for function symbol @not_equals_zero_word.
bool	mcrl2::data::sort_machine_word::is_not_equals_zero_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @not_equals_zero_word.
application	mcrl2::data::sort_machine_word::not_equals_zero_word (const data_expression &arg0)
	Application of function symbol @not_equals_zero_word.
void	mcrl2::data::sort_machine_word::make_not_equals_zero_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @not_equals_zero_word.
bool	mcrl2::data::sort_machine_word::is_not_equals_zero_word_application (const atermpp::aterm &e)
	Recogniser for application of @not_equals_zero_word.
void	mcrl2::data::sort_machine_word::not_equals_zero_word_manual_implementation (data_expression &result, const data_expression &e)
	Checks whether the argument is not equal to 0.
void	mcrl2::data::sort_machine_word::not_equals_zero_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::equals_one_word_name ()
	Generate identifier @equals_one_word.
const function_symbol &	mcrl2::data::sort_machine_word::equals_one_word ()
	Constructor for function symbol @equals_one_word.
bool	mcrl2::data::sort_machine_word::is_equals_one_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_one_word.
application	mcrl2::data::sort_machine_word::equals_one_word (const data_expression &arg0)
	Application of function symbol @equals_one_word.
void	mcrl2::data::sort_machine_word::make_equals_one_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_one_word.
bool	mcrl2::data::sort_machine_word::is_equals_one_word_application (const atermpp::aterm &e)
	Recogniser for application of @equals_one_word.
void	mcrl2::data::sort_machine_word::equals_one_word_manual_implementation (data_expression &result, const data_expression &e)
	Checks whether the argument is equal to 1.
void	mcrl2::data::sort_machine_word::equals_one_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::equals_max_word_name ()
	Generate identifier @equals_max_word.
const function_symbol &	mcrl2::data::sort_machine_word::equals_max_word ()
	Constructor for function symbol @equals_max_word.
bool	mcrl2::data::sort_machine_word::is_equals_max_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_max_word.
application	mcrl2::data::sort_machine_word::equals_max_word (const data_expression &arg0)
	Application of function symbol @equals_max_word.
void	mcrl2::data::sort_machine_word::make_equals_max_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_max_word.
bool	mcrl2::data::sort_machine_word::is_equals_max_word_application (const atermpp::aterm &e)
	Recogniser for application of @equals_max_word.
void	mcrl2::data::sort_machine_word::equals_max_word_manual_implementation (data_expression &result, const data_expression &e)
	Checks whether the argument is equal to the largest 64 bit number.
void	mcrl2::data::sort_machine_word::equals_max_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::add_word_name ()
	Generate identifier @add_word.
const function_symbol &	mcrl2::data::sort_machine_word::add_word ()
	Constructor for function symbol @add_word.
bool	mcrl2::data::sort_machine_word::is_add_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_word.
application	mcrl2::data::sort_machine_word::add_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_word.
void	mcrl2::data::sort_machine_word::make_add_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_word.
bool	mcrl2::data::sort_machine_word::is_add_word_application (const atermpp::aterm &e)
	Recogniser for application of @add_word.
void	mcrl2::data::sort_machine_word::add_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of adding two words modulo the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::add_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::add_with_carry_word_name ()
	Generate identifier @add_with_carry_word.
const function_symbol &	mcrl2::data::sort_machine_word::add_with_carry_word ()
	Constructor for function symbol @add_with_carry_word.
bool	mcrl2::data::sort_machine_word::is_add_with_carry_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_with_carry_word.
application	mcrl2::data::sort_machine_word::add_with_carry_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_with_carry_word.
void	mcrl2::data::sort_machine_word::make_add_with_carry_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_with_carry_word.
bool	mcrl2::data::sort_machine_word::is_add_with_carry_word_application (const atermpp::aterm &e)
	Recogniser for application of @add_with_carry_word.
void	mcrl2::data::sort_machine_word::add_with_carry_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of adding two words plus 1 modulo the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::add_with_carry_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::add_overflow_word_name ()
	Generate identifier @add_overflow_word.
const function_symbol &	mcrl2::data::sort_machine_word::add_overflow_word ()
	Constructor for function symbol @add_overflow_word.
bool	mcrl2::data::sort_machine_word::is_add_overflow_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_overflow_word.
application	mcrl2::data::sort_machine_word::add_overflow_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_overflow_word.
void	mcrl2::data::sort_machine_word::make_add_overflow_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_overflow_word.
bool	mcrl2::data::sort_machine_word::is_add_overflow_word_application (const atermpp::aterm &e)
	Recogniser for application of @add_overflow_word.
void	mcrl2::data::sort_machine_word::add_overflow_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	An indication whether an overflow occurs when e1 and e2 are added.
void	mcrl2::data::sort_machine_word::add_overflow_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::add_with_carry_overflow_word_name ()
	Generate identifier @add_with_carry_overflow_word.
const function_symbol &	mcrl2::data::sort_machine_word::add_with_carry_overflow_word ()
	Constructor for function symbol @add_with_carry_overflow_word.
bool	mcrl2::data::sort_machine_word::is_add_with_carry_overflow_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_with_carry_overflow_word.
application	mcrl2::data::sort_machine_word::add_with_carry_overflow_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_with_carry_overflow_word.
void	mcrl2::data::sort_machine_word::make_add_with_carry_overflow_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_with_carry_overflow_word.
bool	mcrl2::data::sort_machine_word::is_add_with_carry_overflow_word_application (const atermpp::aterm &e)
	Recogniser for application of @add_with_carry_overflow_word.
void	mcrl2::data::sort_machine_word::add_with_carry_overflow_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	An indication whether an overflow occurs when e1 and e2 are added.
void	mcrl2::data::sort_machine_word::add_with_carry_overflow_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::times_word_name ()
	Generate identifier @times_word.
const function_symbol &	mcrl2::data::sort_machine_word::times_word ()
	Constructor for function symbol @times_word.
bool	mcrl2::data::sort_machine_word::is_times_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_word.
application	mcrl2::data::sort_machine_word::times_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @times_word.
void	mcrl2::data::sort_machine_word::make_times_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @times_word.
bool	mcrl2::data::sort_machine_word::is_times_word_application (const atermpp::aterm &e)
	Recogniser for application of @times_word.
void	mcrl2::data::sort_machine_word::times_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of multiplying two words modulo the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::times_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::times_with_carry_word_name ()
	Generate identifier @times_with_carry_word.
const function_symbol &	mcrl2::data::sort_machine_word::times_with_carry_word ()
	Constructor for function symbol @times_with_carry_word.
bool	mcrl2::data::sort_machine_word::is_times_with_carry_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_with_carry_word.
application	mcrl2::data::sort_machine_word::times_with_carry_word (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @times_with_carry_word.
void	mcrl2::data::sort_machine_word::make_times_with_carry_word (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @times_with_carry_word.
bool	mcrl2::data::sort_machine_word::is_times_with_carry_word_application (const atermpp::aterm &e)
	Recogniser for application of @times_with_carry_word.
void	mcrl2::data::sort_machine_word::times_with_carry_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	The result of multiplying two words and adding the third modulo the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::times_with_carry_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::times_overflow_word_name ()
	Generate identifier @times_overflow_word.
const function_symbol &	mcrl2::data::sort_machine_word::times_overflow_word ()
	Constructor for function symbol @times_overflow_word.
bool	mcrl2::data::sort_machine_word::is_times_overflow_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_overflow_word.
application	mcrl2::data::sort_machine_word::times_overflow_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @times_overflow_word.
void	mcrl2::data::sort_machine_word::make_times_overflow_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @times_overflow_word.
bool	mcrl2::data::sort_machine_word::is_times_overflow_word_application (const atermpp::aterm &e)
	Recogniser for application of @times_overflow_word.
void	mcrl2::data::sort_machine_word::times_overflow_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of multiplying two words divided by the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::times_overflow_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::times_with_carry_overflow_word_name ()
	Generate identifier @times_with_carry_overflow_word.
const function_symbol &	mcrl2::data::sort_machine_word::times_with_carry_overflow_word ()
	Constructor for function symbol @times_with_carry_overflow_word.
bool	mcrl2::data::sort_machine_word::is_times_with_carry_overflow_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_with_carry_overflow_word.
application	mcrl2::data::sort_machine_word::times_with_carry_overflow_word (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @times_with_carry_overflow_word.
void	mcrl2::data::sort_machine_word::make_times_with_carry_overflow_word (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @times_with_carry_overflow_word.
bool	mcrl2::data::sort_machine_word::is_times_with_carry_overflow_word_application (const atermpp::aterm &e)
	Recogniser for application of @times_with_carry_overflow_word.
void	mcrl2::data::sort_machine_word::times_with_carry_overflow_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	The result of multiplying two words and adding a third divided by the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::times_with_carry_overflow_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::minus_word_name ()
	Generate identifier @minus_word.
const function_symbol &	mcrl2::data::sort_machine_word::minus_word ()
	Constructor for function symbol @minus_word.
bool	mcrl2::data::sort_machine_word::is_minus_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @minus_word.
application	mcrl2::data::sort_machine_word::minus_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @minus_word.
void	mcrl2::data::sort_machine_word::make_minus_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @minus_word.
bool	mcrl2::data::sort_machine_word::is_minus_word_application (const atermpp::aterm &e)
	Recogniser for application of @minus_word.
void	mcrl2::data::sort_machine_word::minus_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of subtracting two words modulo the maximal representable machine word plus 1.
void	mcrl2::data::sort_machine_word::minus_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::monus_word_name ()
	Generate identifier @monus_word.
const function_symbol &	mcrl2::data::sort_machine_word::monus_word ()
	Constructor for function symbol @monus_word.
bool	mcrl2::data::sort_machine_word::is_monus_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @monus_word.
application	mcrl2::data::sort_machine_word::monus_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @monus_word.
void	mcrl2::data::sort_machine_word::make_monus_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @monus_word.
bool	mcrl2::data::sort_machine_word::is_monus_word_application (const atermpp::aterm &e)
	Recogniser for application of @monus_word.
void	mcrl2::data::sort_machine_word::monus_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The result of subtracting two words. If the result is negative 0 is returned.
void	mcrl2::data::sort_machine_word::monus_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::div_word_name ()
	Generate identifier @div_word.
const function_symbol &	mcrl2::data::sort_machine_word::div_word ()
	Constructor for function symbol @div_word.
bool	mcrl2::data::sort_machine_word::is_div_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_word.
application	mcrl2::data::sort_machine_word::div_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @div_word.
void	mcrl2::data::sort_machine_word::make_div_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @div_word.
bool	mcrl2::data::sort_machine_word::is_div_word_application (const atermpp::aterm &e)
	Recogniser for application of @div_word.
void	mcrl2::data::sort_machine_word::div_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	Calculates the division of the first word by the second.
void	mcrl2::data::sort_machine_word::div_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::mod_word_name ()
	Generate identifier @mod_word.
const function_symbol &	mcrl2::data::sort_machine_word::mod_word ()
	Constructor for function symbol @mod_word.
bool	mcrl2::data::sort_machine_word::is_mod_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @mod_word.
application	mcrl2::data::sort_machine_word::mod_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @mod_word.
void	mcrl2::data::sort_machine_word::make_mod_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @mod_word.
bool	mcrl2::data::sort_machine_word::is_mod_word_application (const atermpp::aterm &e)
	Recogniser for application of @mod_word.
void	mcrl2::data::sort_machine_word::mod_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	Calculates e1 modulo e2.
void	mcrl2::data::sort_machine_word::mod_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_word_name ()
	Generate identifier @sqrt_word.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_word ()
	Constructor for function symbol @sqrt_word.
bool	mcrl2::data::sort_machine_word::is_sqrt_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_word.
application	mcrl2::data::sort_machine_word::sqrt_word (const data_expression &arg0)
	Application of function symbol @sqrt_word.
void	mcrl2::data::sort_machine_word::make_sqrt_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @sqrt_word.
bool	mcrl2::data::sort_machine_word::is_sqrt_word_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_word.
void	mcrl2::data::sort_machine_word::sqrt_word_manual_implementation (data_expression &result, const data_expression &e)
	The square root of e, rounded down to a machine word.
void	mcrl2::data::sort_machine_word::sqrt_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::div_doubleword_name ()
	Generate identifier @div_doubleword.
const function_symbol &	mcrl2::data::sort_machine_word::div_doubleword ()
	Constructor for function symbol @div_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_doubleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_doubleword.
application	mcrl2::data::sort_machine_word::div_doubleword (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @div_doubleword.
void	mcrl2::data::sort_machine_word::make_div_doubleword (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @div_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_doubleword_application (const atermpp::aterm &e)
	Recogniser for application of @div_doubleword.
void	mcrl2::data::sort_machine_word::div_doubleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	Calculates (base*e1 + e2) div e3.
void	mcrl2::data::sort_machine_word::div_doubleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::div_double_doubleword_name ()
	Generate identifier @div_double_doubleword.
const function_symbol &	mcrl2::data::sort_machine_word::div_double_doubleword ()
	Constructor for function symbol @div_double_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_double_doubleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_double_doubleword.
application	mcrl2::data::sort_machine_word::div_double_doubleword (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @div_double_doubleword.
void	mcrl2::data::sort_machine_word::make_div_double_doubleword (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_double_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_double_doubleword_application (const atermpp::aterm &e)
	Recogniser for application of @div_double_doubleword.
void	mcrl2::data::sort_machine_word::div_double_doubleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4)
	Calculates (base*e1 + e2) div (base*e3 + e4).
void	mcrl2::data::sort_machine_word::div_double_doubleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::div_triple_doubleword_name ()
	Generate identifier @div_triple_doubleword.
const function_symbol &	mcrl2::data::sort_machine_word::div_triple_doubleword ()
	Constructor for function symbol @div_triple_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_triple_doubleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @div_triple_doubleword.
application	mcrl2::data::sort_machine_word::div_triple_doubleword (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_triple_doubleword.
void	mcrl2::data::sort_machine_word::make_div_triple_doubleword (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_triple_doubleword.
bool	mcrl2::data::sort_machine_word::is_div_triple_doubleword_application (const atermpp::aterm &e)
	Recogniser for application of @div_triple_doubleword.
void	mcrl2::data::sort_machine_word::div_triple_doubleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4, const data_expression &e5)
	Calculates (base*(base*e1 + e2)+e3) div (base*e4 + e5).
void	mcrl2::data::sort_machine_word::div_triple_doubleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::mod_doubleword_name ()
	Generate identifier @mod_doubleword.
const function_symbol &	mcrl2::data::sort_machine_word::mod_doubleword ()
	Constructor for function symbol @mod_doubleword.
bool	mcrl2::data::sort_machine_word::is_mod_doubleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @mod_doubleword.
application	mcrl2::data::sort_machine_word::mod_doubleword (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @mod_doubleword.
void	mcrl2::data::sort_machine_word::make_mod_doubleword (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @mod_doubleword.
bool	mcrl2::data::sort_machine_word::is_mod_doubleword_application (const atermpp::aterm &e)
	Recogniser for application of @mod_doubleword.
void	mcrl2::data::sort_machine_word::mod_doubleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	Calculates (base*e1 + e2) mod e3. The result fits in one word.
void	mcrl2::data::sort_machine_word::mod_doubleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_doubleword_name ()
	Generate identifier @sqrt_doubleword.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_doubleword ()
	Constructor for function symbol @sqrt_doubleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_doubleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_doubleword.
application	mcrl2::data::sort_machine_word::sqrt_doubleword (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @sqrt_doubleword.
void	mcrl2::data::sort_machine_word::make_sqrt_doubleword (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @sqrt_doubleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_doubleword_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_doubleword.
void	mcrl2::data::sort_machine_word::sqrt_doubleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The square root of base*e1+e2 rounded down.
void	mcrl2::data::sort_machine_word::sqrt_doubleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_tripleword_name ()
	Generate identifier @sqrt_tripleword.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_tripleword ()
	Constructor for function symbol @sqrt_tripleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_tripleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_tripleword.
application	mcrl2::data::sort_machine_word::sqrt_tripleword (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @sqrt_tripleword.
void	mcrl2::data::sort_machine_word::make_sqrt_tripleword (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @sqrt_tripleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_tripleword_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_tripleword.
void	mcrl2::data::sort_machine_word::sqrt_tripleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	Calculates the least significant word of the square root of base*(base*e1+e2)+e3.
void	mcrl2::data::sort_machine_word::sqrt_tripleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_tripleword_overflow_name ()
	Generate identifier @sqrt_tripleword_overflow.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_tripleword_overflow ()
	Constructor for function symbol @sqrt_tripleword_overflow.
bool	mcrl2::data::sort_machine_word::is_sqrt_tripleword_overflow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_tripleword_overflow.
application	mcrl2::data::sort_machine_word::sqrt_tripleword_overflow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @sqrt_tripleword_overflow.
void	mcrl2::data::sort_machine_word::make_sqrt_tripleword_overflow (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @sqrt_tripleword_overflow.
bool	mcrl2::data::sort_machine_word::is_sqrt_tripleword_overflow_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_tripleword_overflow.
void	mcrl2::data::sort_machine_word::sqrt_tripleword_overflow_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3)
	Calculates the most significant word of the square root of base*(base*e1+e2)+e3.
void	mcrl2::data::sort_machine_word::sqrt_tripleword_overflow_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_quadrupleword_name ()
	Generate identifier @sqrt_quadrupleword.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_quadrupleword ()
	Constructor for function symbol @sqrt_quadrupleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_quadrupleword_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_quadrupleword.
application	mcrl2::data::sort_machine_word::sqrt_quadrupleword (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @sqrt_quadrupleword.
void	mcrl2::data::sort_machine_word::make_sqrt_quadrupleword (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_quadrupleword.
bool	mcrl2::data::sort_machine_word::is_sqrt_quadrupleword_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_quadrupleword.
void	mcrl2::data::sort_machine_word::sqrt_quadrupleword_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4)
	Calculates the least significant word of the square root of base*(base*(base*e1+e2)+e3)+e4.
void	mcrl2::data::sort_machine_word::sqrt_quadrupleword_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::sqrt_quadrupleword_overflow_name ()
	Generate identifier @sqrt_quadrupleword_overflow.
const function_symbol &	mcrl2::data::sort_machine_word::sqrt_quadrupleword_overflow ()
	Constructor for function symbol @sqrt_quadrupleword_overflow.
bool	mcrl2::data::sort_machine_word::is_sqrt_quadrupleword_overflow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @sqrt_quadrupleword_overflow.
application	mcrl2::data::sort_machine_word::sqrt_quadrupleword_overflow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @sqrt_quadrupleword_overflow.
void	mcrl2::data::sort_machine_word::make_sqrt_quadrupleword_overflow (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_quadrupleword_overflow.
bool	mcrl2::data::sort_machine_word::is_sqrt_quadrupleword_overflow_application (const atermpp::aterm &e)
	Recogniser for application of @sqrt_quadrupleword_overflow.
void	mcrl2::data::sort_machine_word::sqrt_quadrupleword_overflow_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2, const data_expression &e3, const data_expression &e4)
	Calculates the most significant word of the square root of base*(base*(base*e1+e2)+e3)+e4.
void	mcrl2::data::sort_machine_word::sqrt_quadrupleword_overflow_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::pred_word_name ()
	Generate identifier @pred_word.
const function_symbol &	mcrl2::data::sort_machine_word::pred_word ()
	Constructor for function symbol @pred_word.
bool	mcrl2::data::sort_machine_word::is_pred_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @pred_word.
application	mcrl2::data::sort_machine_word::pred_word (const data_expression &arg0)
	Application of function symbol @pred_word.
void	mcrl2::data::sort_machine_word::make_pred_word (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @pred_word.
bool	mcrl2::data::sort_machine_word::is_pred_word_application (const atermpp::aterm &e)
	Recogniser for application of @pred_word.
void	mcrl2::data::sort_machine_word::pred_word_manual_implementation (data_expression &result, const data_expression &e)
	The predecessor function on a machine numbers, that wraps around.
void	mcrl2::data::sort_machine_word::pred_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::equal_word_name ()
	Generate identifier @equal.
const function_symbol &	mcrl2::data::sort_machine_word::equal_word ()
	Constructor for function symbol @equal.
bool	mcrl2::data::sort_machine_word::is_equal_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equal.
application	mcrl2::data::sort_machine_word::equal_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @equal.
void	mcrl2::data::sort_machine_word::make_equal_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @equal.
bool	mcrl2::data::sort_machine_word::is_equal_word_application (const atermpp::aterm &e)
	Recogniser for application of @equal.
void	mcrl2::data::sort_machine_word::equal_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The equality function on two machine words.
void	mcrl2::data::sort_machine_word::equal_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::not_equal_word_name ()
	Generate identifier @not_equal.
const function_symbol &	mcrl2::data::sort_machine_word::not_equal_word ()
	Constructor for function symbol @not_equal.
bool	mcrl2::data::sort_machine_word::is_not_equal_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @not_equal.
application	mcrl2::data::sort_machine_word::not_equal_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @not_equal.
void	mcrl2::data::sort_machine_word::make_not_equal_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @not_equal.
bool	mcrl2::data::sort_machine_word::is_not_equal_word_application (const atermpp::aterm &e)
	Recogniser for application of @not_equal.
void	mcrl2::data::sort_machine_word::not_equal_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The non equality function on two machine words.
void	mcrl2::data::sort_machine_word::not_equal_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::less_word_name ()
	Generate identifier @less.
const function_symbol &	mcrl2::data::sort_machine_word::less_word ()
	Constructor for function symbol @less.
bool	mcrl2::data::sort_machine_word::is_less_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @less.
application	mcrl2::data::sort_machine_word::less_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @less.
void	mcrl2::data::sort_machine_word::make_less_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @less.
bool	mcrl2::data::sort_machine_word::is_less_word_application (const atermpp::aterm &e)
	Recogniser for application of @less.
void	mcrl2::data::sort_machine_word::less_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The less than function on two machine words.
void	mcrl2::data::sort_machine_word::less_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::less_equal_word_name ()
	Generate identifier @less_equal.
const function_symbol &	mcrl2::data::sort_machine_word::less_equal_word ()
	Constructor for function symbol @less_equal.
bool	mcrl2::data::sort_machine_word::is_less_equal_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @less_equal.
application	mcrl2::data::sort_machine_word::less_equal_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @less_equal.
void	mcrl2::data::sort_machine_word::make_less_equal_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @less_equal.
bool	mcrl2::data::sort_machine_word::is_less_equal_word_application (const atermpp::aterm &e)
	Recogniser for application of @less_equal.
void	mcrl2::data::sort_machine_word::less_equal_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The less than or equal function on two machine words.
void	mcrl2::data::sort_machine_word::less_equal_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::greater_word_name ()
	Generate identifier @greater.
const function_symbol &	mcrl2::data::sort_machine_word::greater_word ()
	Constructor for function symbol @greater.
bool	mcrl2::data::sort_machine_word::is_greater_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @greater.
application	mcrl2::data::sort_machine_word::greater_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @greater.
void	mcrl2::data::sort_machine_word::make_greater_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @greater.
bool	mcrl2::data::sort_machine_word::is_greater_word_application (const atermpp::aterm &e)
	Recogniser for application of @greater.
void	mcrl2::data::sort_machine_word::greater_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The greater than function on two machine words.
void	mcrl2::data::sort_machine_word::greater_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::greater_equal_word_name ()
	Generate identifier @greater_equal.
const function_symbol &	mcrl2::data::sort_machine_word::greater_equal_word ()
	Constructor for function symbol @greater_equal.
bool	mcrl2::data::sort_machine_word::is_greater_equal_word_function_symbol (const atermpp::aterm &e)
	Recogniser for function @greater_equal.
application	mcrl2::data::sort_machine_word::greater_equal_word (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @greater_equal.
void	mcrl2::data::sort_machine_word::make_greater_equal_word (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @greater_equal.
bool	mcrl2::data::sort_machine_word::is_greater_equal_word_application (const atermpp::aterm &e)
	Recogniser for application of @greater_equal.
void	mcrl2::data::sort_machine_word::greater_equal_word_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The greater than or equal function on two machine words.
void	mcrl2::data::sort_machine_word::greater_equal_word_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::rightmost_bit_name ()
	Generate identifier @rightmost_bit.
const function_symbol &	mcrl2::data::sort_machine_word::rightmost_bit ()
	Constructor for function symbol @rightmost_bit.
bool	mcrl2::data::sort_machine_word::is_rightmost_bit_function_symbol (const atermpp::aterm &e)
	Recogniser for function @rightmost_bit.
application	mcrl2::data::sort_machine_word::rightmost_bit (const data_expression &arg0)
	Application of function symbol @rightmost_bit.
void	mcrl2::data::sort_machine_word::make_rightmost_bit (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @rightmost_bit.
bool	mcrl2::data::sort_machine_word::is_rightmost_bit_application (const atermpp::aterm &e)
	Recogniser for application of @rightmost_bit.
void	mcrl2::data::sort_machine_word::rightmost_bit_manual_implementation (data_expression &result, const data_expression &e)
	The right most bit of a machine number.
void	mcrl2::data::sort_machine_word::rightmost_bit_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::sort_machine_word::shift_right_name ()
	Generate identifier @shift_right.
const function_symbol &	mcrl2::data::sort_machine_word::shift_right ()
	Constructor for function symbol @shift_right.
bool	mcrl2::data::sort_machine_word::is_shift_right_function_symbol (const atermpp::aterm &e)
	Recogniser for function @shift_right.
application	mcrl2::data::sort_machine_word::shift_right (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @shift_right.
void	mcrl2::data::sort_machine_word::make_shift_right (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @shift_right.
bool	mcrl2::data::sort_machine_word::is_shift_right_application (const atermpp::aterm &e)
	Recogniser for application of @shift_right.
void	mcrl2::data::sort_machine_word::shift_right_manual_implementation (data_expression &result, const data_expression &e1, const data_expression &e2)
	The machine word shifted one position to the right.
void	mcrl2::data::sort_machine_word::shift_right_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
function_symbol_vector	mcrl2::data::sort_machine_word::machine_word_generate_functions_code ()
	Give all system defined mappings for machine_word.
function_symbol_vector	mcrl2::data::sort_machine_word::machine_word_generate_constructors_and_functions_code ()
	Give all system defined mappings and constructors for machine_word.
function_symbol_vector	mcrl2::data::sort_machine_word::machine_word_mCRL2_usable_mappings ()
	Give all system defined mappings that can be used in mCRL2 specs for machine_word.
implementation_map	mcrl2::data::sort_machine_word::machine_word_cpp_implementable_mappings ()
	Give all system defined mappings that are to be implemented in C++ code for machine_word.
const data_expression &	mcrl2::data::sort_machine_word::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_machine_word::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_machine_word::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_machine_word::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_machine_word::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_machine_word::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
const data_expression &	mcrl2::data::sort_machine_word::arg4 (const data_expression &e)
	Function for projecting out argument. arg4 from an application.
const data_expression &	mcrl2::data::sort_machine_word::arg5 (const data_expression &e)
	Function for projecting out argument. arg5 from an application.
data_equation_vector	mcrl2::data::sort_machine_word::machine_word_generate_equations_code ()
	Give all system defined equations for machine_word.

Detailed Description

The standard sort machine_word.

This file was generated from the data sort specification mcrl2/data/build/machine_word.spec.

Definition in file machine_word.h.