pos64.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_pos
	Namespace for system defined sort pos.

Functions
const core::identifier_string &	mcrl2::data::sort_pos::pos_name ()
const basic_sort &	mcrl2::data::sort_pos::pos ()
	Constructor for sort expression Pos.
bool	mcrl2::data::sort_pos::is_pos (const sort_expression &e)
	Recogniser for sort expression Pos.
const core::identifier_string &	mcrl2::data::sort_pos::c1_name ()
	Generate identifier @c1.
const function_symbol &	mcrl2::data::sort_pos::c1 ()
	Constructor for function symbol @c1.
bool	mcrl2::data::sort_pos::is_c1_function_symbol (const atermpp::aterm &e)
	Recogniser for function @c1.
const core::identifier_string &	mcrl2::data::sort_pos::succpos_name ()
	Generate identifier @succ_pos.
const function_symbol &	mcrl2::data::sort_pos::succpos ()
	Constructor for function symbol @succ_pos.
bool	mcrl2::data::sort_pos::is_succpos_function_symbol (const atermpp::aterm &e)
	Recogniser for function @succ_pos.
application	mcrl2::data::sort_pos::succpos (const data_expression &arg0)
	Application of function symbol @succ_pos.
void	mcrl2::data::sort_pos::make_succpos (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @succ_pos.
bool	mcrl2::data::sort_pos::is_succpos_application (const atermpp::aterm &e)
	Recogniser for application of @succ_pos.
function_symbol_vector	mcrl2::data::sort_pos::pos_generate_constructors_code ()
	Give all system defined constructors for pos.
function_symbol_vector	mcrl2::data::sort_pos::pos_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for pos.
implementation_map	mcrl2::data::sort_pos::pos_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for pos.
const core::identifier_string &	mcrl2::data::sort_pos::most_significant_digit_name ()
	Generate identifier @most_significant_digit.
const function_symbol &	mcrl2::data::sort_pos::most_significant_digit ()
	Constructor for function symbol @most_significant_digit.
bool	mcrl2::data::sort_pos::is_most_significant_digit_function_symbol (const atermpp::aterm &e)
	Recogniser for function @most_significant_digit.
application	mcrl2::data::sort_pos::most_significant_digit (const data_expression &arg0)
	Application of function symbol @most_significant_digit.
void	mcrl2::data::sort_pos::make_most_significant_digit (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @most_significant_digit.
bool	mcrl2::data::sort_pos::is_most_significant_digit_application (const atermpp::aterm &e)
	Recogniser for application of @most_significant_digit.
const core::identifier_string &	mcrl2::data::sort_pos::concat_digit_name ()
	Generate identifier @concat_digit.
const function_symbol &	mcrl2::data::sort_pos::concat_digit ()
	Constructor for function symbol @concat_digit.
bool	mcrl2::data::sort_pos::is_concat_digit_function_symbol (const atermpp::aterm &e)
	Recogniser for function @concat_digit.
application	mcrl2::data::sort_pos::concat_digit (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @concat_digit.
void	mcrl2::data::sort_pos::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_pos::is_concat_digit_application (const atermpp::aterm &e)
	Recogniser for application of @concat_digit.
const core::identifier_string &	mcrl2::data::sort_pos::equals_one_name ()
	Generate identifier @equals_one.
const function_symbol &	mcrl2::data::sort_pos::equals_one ()
	Constructor for function symbol @equals_one.
bool	mcrl2::data::sort_pos::is_equals_one_function_symbol (const atermpp::aterm &e)
	Recogniser for function @equals_one.
application	mcrl2::data::sort_pos::equals_one (const data_expression &arg0)
	Application of function symbol @equals_one.
void	mcrl2::data::sort_pos::make_equals_one (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @equals_one.
bool	mcrl2::data::sort_pos::is_equals_one_application (const atermpp::aterm &e)
	Recogniser for application of @equals_one.
const core::identifier_string &	mcrl2::data::sort_pos::maximum_name ()
	Generate identifier max.
const function_symbol &	mcrl2::data::sort_pos::maximum ()
	Constructor for function symbol max.
bool	mcrl2::data::sort_pos::is_maximum_function_symbol (const atermpp::aterm &e)
	Recogniser for function max.
application	mcrl2::data::sort_pos::maximum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol max.
void	mcrl2::data::sort_pos::make_maximum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol max.
bool	mcrl2::data::sort_pos::is_maximum_application (const atermpp::aterm &e)
	Recogniser for application of max.
const core::identifier_string &	mcrl2::data::sort_pos::minimum_name ()
	Generate identifier min.
const function_symbol &	mcrl2::data::sort_pos::minimum ()
	Constructor for function symbol min.
bool	mcrl2::data::sort_pos::is_minimum_function_symbol (const atermpp::aterm &e)
	Recogniser for function min.
application	mcrl2::data::sort_pos::minimum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol min.
void	mcrl2::data::sort_pos::make_minimum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol min.
bool	mcrl2::data::sort_pos::is_minimum_application (const atermpp::aterm &e)
	Recogniser for application of min.
const core::identifier_string &	mcrl2::data::sort_pos::succ_name ()
	Generate identifier succ.
const function_symbol &	mcrl2::data::sort_pos::succ ()
	Constructor for function symbol succ.
bool	mcrl2::data::sort_pos::is_succ_function_symbol (const atermpp::aterm &e)
	Recogniser for function succ.
application	mcrl2::data::sort_pos::succ (const data_expression &arg0)
	Application of function symbol succ.
void	mcrl2::data::sort_pos::make_succ (data_expression &result, const data_expression &arg0)
	Make an application of function symbol succ.
bool	mcrl2::data::sort_pos::is_succ_application (const atermpp::aterm &e)
	Recogniser for application of succ.
const core::identifier_string &	mcrl2::data::sort_pos::pos_predecessor_name ()
	Generate identifier @pospred.
const function_symbol &	mcrl2::data::sort_pos::pos_predecessor ()
	Constructor for function symbol @pospred.
bool	mcrl2::data::sort_pos::is_pos_predecessor_function_symbol (const atermpp::aterm &e)
	Recogniser for function @pospred.
application	mcrl2::data::sort_pos::pos_predecessor (const data_expression &arg0)
	Application of function symbol @pospred.
void	mcrl2::data::sort_pos::make_pos_predecessor (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @pospred.
bool	mcrl2::data::sort_pos::is_pos_predecessor_application (const atermpp::aterm &e)
	Recogniser for application of @pospred.
const core::identifier_string &	mcrl2::data::sort_pos::plus_name ()
	Generate identifier +.
const function_symbol &	mcrl2::data::sort_pos::plus ()
	Constructor for function symbol +.
bool	mcrl2::data::sort_pos::is_plus_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_pos::plus (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_pos::make_plus (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol +.
bool	mcrl2::data::sort_pos::is_plus_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_pos::add_with_carry_name ()
	Generate identifier @addc.
const function_symbol &	mcrl2::data::sort_pos::add_with_carry ()
	Constructor for function symbol @addc.
bool	mcrl2::data::sort_pos::is_add_with_carry_function_symbol (const atermpp::aterm &e)
	Recogniser for function @addc.
application	mcrl2::data::sort_pos::add_with_carry (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_with_carry.
void	mcrl2::data::sort_pos::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_pos::is_add_with_carry_application (const atermpp::aterm &e)
	Recogniser for application of @addc.
const core::identifier_string &	mcrl2::data::sort_pos::auxiliary_plus_pos_name ()
	Generate identifier @plus_pos.
const function_symbol &	mcrl2::data::sort_pos::auxiliary_plus_pos ()
	Constructor for function symbol @plus_pos.
bool	mcrl2::data::sort_pos::is_auxiliary_plus_pos_function_symbol (const atermpp::aterm &e)
	Recogniser for function @plus_pos.
application	mcrl2::data::sort_pos::auxiliary_plus_pos (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @plus_pos.
void	mcrl2::data::sort_pos::make_auxiliary_plus_pos (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @plus_pos.
bool	mcrl2::data::sort_pos::is_auxiliary_plus_pos_application (const atermpp::aterm &e)
	Recogniser for application of @plus_pos.
const core::identifier_string &	mcrl2::data::sort_pos::times_name ()
	Generate identifier *.
const function_symbol &	mcrl2::data::sort_pos::times ()
	Constructor for function symbol *.
bool	mcrl2::data::sort_pos::is_times_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_pos::times (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_pos::make_times (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol *.
bool	mcrl2::data::sort_pos::is_times_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_pos::times_overflow_name ()
	Generate identifier @times_overflow.
const function_symbol &	mcrl2::data::sort_pos::times_overflow ()
	Constructor for function symbol @times_overflow.
bool	mcrl2::data::sort_pos::is_times_overflow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_overflow.
application	mcrl2::data::sort_pos::times_overflow (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @times_overflow.
void	mcrl2::data::sort_pos::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_pos::is_times_overflow_application (const atermpp::aterm &e)
	Recogniser for application of @times_overflow.
const core::identifier_string &	mcrl2::data::sort_pos::times_ordered_name ()
	Generate identifier @times_ordered.
const function_symbol &	mcrl2::data::sort_pos::times_ordered ()
	Constructor for function symbol @times_ordered.
bool	mcrl2::data::sort_pos::is_times_ordered_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_ordered.
application	mcrl2::data::sort_pos::times_ordered (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @times_ordered.
void	mcrl2::data::sort_pos::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_pos::is_times_ordered_application (const atermpp::aterm &e)
	Recogniser for application of @times_ordered.
const core::identifier_string &	mcrl2::data::sort_pos::times_whr_mult_overflow_name ()
	Generate identifier @times_whr_mult_overflow.
const function_symbol &	mcrl2::data::sort_pos::times_whr_mult_overflow ()
	Constructor for function symbol @times_whr_mult_overflow.
bool	mcrl2::data::sort_pos::is_times_whr_mult_overflow_function_symbol (const atermpp::aterm &e)
	Recogniser for function @times_whr_mult_overflow.
application	mcrl2::data::sort_pos::times_whr_mult_overflow (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @times_whr_mult_overflow.
void	mcrl2::data::sort_pos::make_times_whr_mult_overflow (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @times_whr_mult_overflow.
bool	mcrl2::data::sort_pos::is_times_whr_mult_overflow_application (const atermpp::aterm &e)
	Recogniser for application of @times_whr_mult_overflow.
function_symbol_vector	mcrl2::data::sort_pos::pos_generate_functions_code ()
	Give all system defined mappings for pos.
function_symbol_vector	mcrl2::data::sort_pos::pos_generate_constructors_and_functions_code ()
	Give all system defined mappings and constructors for pos.
function_symbol_vector	mcrl2::data::sort_pos::pos_mCRL2_usable_mappings ()
	Give all system defined mappings that can be used in mCRL2 specs for pos.
implementation_map	mcrl2::data::sort_pos::pos_cpp_implementable_mappings ()
	Give all system defined mappings that are to be implemented in C++ code for pos.
const data_expression &	mcrl2::data::sort_pos::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_pos::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_pos::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_pos::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_pos::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_pos::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
data_equation_vector	mcrl2::data::sort_pos::pos_generate_equations_code ()
	Give all system defined equations for pos.