int64.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_int
	Namespace for system defined sort int_.

Functions
const core::identifier_string &	mcrl2::data::sort_int::int_name ()
const basic_sort &	mcrl2::data::sort_int::int_ ()
	Constructor for sort expression Int.
bool	mcrl2::data::sort_int::is_int (const sort_expression &e)
	Recogniser for sort expression Int.
const core::identifier_string &	mcrl2::data::sort_int::cint_name ()
	Generate identifier @cInt.
const function_symbol &	mcrl2::data::sort_int::cint ()
	Constructor for function symbol @cInt.
bool	mcrl2::data::sort_int::is_cint_function_symbol (const atermpp::aterm &e)
	Recogniser for function @cInt.
application	mcrl2::data::sort_int::cint (const data_expression &arg0)
	Application of function symbol @cInt.
void	mcrl2::data::sort_int::make_cint (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @cInt.
bool	mcrl2::data::sort_int::is_cint_application (const atermpp::aterm &e)
	Recogniser for application of @cInt.
const core::identifier_string &	mcrl2::data::sort_int::cneg_name ()
	Generate identifier @cNeg.
const function_symbol &	mcrl2::data::sort_int::cneg ()
	Constructor for function symbol @cNeg.
bool	mcrl2::data::sort_int::is_cneg_function_symbol (const atermpp::aterm &e)
	Recogniser for function @cNeg.
application	mcrl2::data::sort_int::cneg (const data_expression &arg0)
	Application of function symbol @cNeg.
void	mcrl2::data::sort_int::make_cneg (data_expression &result, const data_expression &arg0)
	Make an application of function symbol @cNeg.
bool	mcrl2::data::sort_int::is_cneg_application (const atermpp::aterm &e)
	Recogniser for application of @cNeg.
function_symbol_vector	mcrl2::data::sort_int::int_generate_constructors_code ()
	Give all system defined constructors for int_.
function_symbol_vector	mcrl2::data::sort_int::int_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for int_.
implementation_map	mcrl2::data::sort_int::int_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for int_.
const core::identifier_string &	mcrl2::data::sort_int::nat2int_name ()
	Generate identifier Nat2Int.
const function_symbol &	mcrl2::data::sort_int::nat2int ()
	Constructor for function symbol Nat2Int.
bool	mcrl2::data::sort_int::is_nat2int_function_symbol (const atermpp::aterm &e)
	Recogniser for function Nat2Int.
application	mcrl2::data::sort_int::nat2int (const data_expression &arg0)
	Application of function symbol Nat2Int.
void	mcrl2::data::sort_int::make_nat2int (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Nat2Int.
bool	mcrl2::data::sort_int::is_nat2int_application (const atermpp::aterm &e)
	Recogniser for application of Nat2Int.
const core::identifier_string &	mcrl2::data::sort_int::int2nat_name ()
	Generate identifier Int2Nat.
const function_symbol &	mcrl2::data::sort_int::int2nat ()
	Constructor for function symbol Int2Nat.
bool	mcrl2::data::sort_int::is_int2nat_function_symbol (const atermpp::aterm &e)
	Recogniser for function Int2Nat.
application	mcrl2::data::sort_int::int2nat (const data_expression &arg0)
	Application of function symbol Int2Nat.
void	mcrl2::data::sort_int::make_int2nat (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Int2Nat.
bool	mcrl2::data::sort_int::is_int2nat_application (const atermpp::aterm &e)
	Recogniser for application of Int2Nat.
const core::identifier_string &	mcrl2::data::sort_int::pos2int_name ()
	Generate identifier Pos2Int.
const function_symbol &	mcrl2::data::sort_int::pos2int ()
	Constructor for function symbol Pos2Int.
bool	mcrl2::data::sort_int::is_pos2int_function_symbol (const atermpp::aterm &e)
	Recogniser for function Pos2Int.
application	mcrl2::data::sort_int::pos2int (const data_expression &arg0)
	Application of function symbol Pos2Int.
void	mcrl2::data::sort_int::make_pos2int (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Pos2Int.
bool	mcrl2::data::sort_int::is_pos2int_application (const atermpp::aterm &e)
	Recogniser for application of Pos2Int.
const core::identifier_string &	mcrl2::data::sort_int::int2pos_name ()
	Generate identifier Int2Pos.
const function_symbol &	mcrl2::data::sort_int::int2pos ()
	Constructor for function symbol Int2Pos.
bool	mcrl2::data::sort_int::is_int2pos_function_symbol (const atermpp::aterm &e)
	Recogniser for function Int2Pos.
application	mcrl2::data::sort_int::int2pos (const data_expression &arg0)
	Application of function symbol Int2Pos.
void	mcrl2::data::sort_int::make_int2pos (data_expression &result, const data_expression &arg0)
	Make an application of function symbol Int2Pos.
bool	mcrl2::data::sort_int::is_int2pos_application (const atermpp::aterm &e)
	Recogniser for application of Int2Pos.
const core::identifier_string &	mcrl2::data::sort_int::maximum_name ()
	Generate identifier max.
function_symbol	mcrl2::data::sort_int::maximum (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_maximum_function_symbol (const atermpp::aterm &e)
	Recogniser for function max.
application	mcrl2::data::sort_int::maximum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol max.
void	mcrl2::data::sort_int::make_maximum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol max.
bool	mcrl2::data::sort_int::is_maximum_application (const atermpp::aterm &e)
	Recogniser for application of max.
const core::identifier_string &	mcrl2::data::sort_int::minimum_name ()
	Generate identifier min.
function_symbol	mcrl2::data::sort_int::minimum (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_minimum_function_symbol (const atermpp::aterm &e)
	Recogniser for function min.
application	mcrl2::data::sort_int::minimum (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol min.
void	mcrl2::data::sort_int::make_minimum (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol min.
bool	mcrl2::data::sort_int::is_minimum_application (const atermpp::aterm &e)
	Recogniser for application of min.
const core::identifier_string &	mcrl2::data::sort_int::abs_name ()
	Generate identifier abs.
const function_symbol &	mcrl2::data::sort_int::abs ()
	Constructor for function symbol abs.
bool	mcrl2::data::sort_int::is_abs_function_symbol (const atermpp::aterm &e)
	Recogniser for function abs.
application	mcrl2::data::sort_int::abs (const data_expression &arg0)
	Application of function symbol abs.
void	mcrl2::data::sort_int::make_abs (data_expression &result, const data_expression &arg0)
	Make an application of function symbol abs.
bool	mcrl2::data::sort_int::is_abs_application (const atermpp::aterm &e)
	Recogniser for application of abs.
const core::identifier_string &	mcrl2::data::sort_int::negate_name ()
	Generate identifier -.
function_symbol	mcrl2::data::sort_int::negate (const sort_expression &s0)
bool	mcrl2::data::sort_int::is_negate_function_symbol (const atermpp::aterm &e)
	Recogniser for function -.
application	mcrl2::data::sort_int::negate (const data_expression &arg0)
	Application of function symbol -.
void	mcrl2::data::sort_int::make_negate (data_expression &result, const data_expression &arg0)
	Make an application of function symbol -.
bool	mcrl2::data::sort_int::is_negate_application (const atermpp::aterm &e)
	Recogniser for application of -.
const core::identifier_string &	mcrl2::data::sort_int::succ_name ()
	Generate identifier succ.
function_symbol	mcrl2::data::sort_int::succ (const sort_expression &s0)
bool	mcrl2::data::sort_int::is_succ_function_symbol (const atermpp::aterm &e)
	Recogniser for function succ.
application	mcrl2::data::sort_int::succ (const data_expression &arg0)
	Application of function symbol succ.
void	mcrl2::data::sort_int::make_succ (data_expression &result, const data_expression &arg0)
	Make an application of function symbol succ.
bool	mcrl2::data::sort_int::is_succ_application (const atermpp::aterm &e)
	Recogniser for application of succ.
const core::identifier_string &	mcrl2::data::sort_int::pred_name ()
	Generate identifier pred.
function_symbol	mcrl2::data::sort_int::pred (const sort_expression &s0)
bool	mcrl2::data::sort_int::is_pred_function_symbol (const atermpp::aterm &e)
	Recogniser for function pred.
application	mcrl2::data::sort_int::pred (const data_expression &arg0)
	Application of function symbol pred.
void	mcrl2::data::sort_int::make_pred (data_expression &result, const data_expression &arg0)
	Make an application of function symbol pred.
bool	mcrl2::data::sort_int::is_pred_application (const atermpp::aterm &e)
	Recogniser for application of pred.
const core::identifier_string &	mcrl2::data::sort_int::plus_name ()
	Generate identifier +.
function_symbol	mcrl2::data::sort_int::plus (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_plus_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_int::plus (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_int::make_plus (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol +.
bool	mcrl2::data::sort_int::is_plus_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_int::minus_name ()
	Generate identifier -.
function_symbol	mcrl2::data::sort_int::minus (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_minus_function_symbol (const atermpp::aterm &e)
	Recogniser for function -.
application	mcrl2::data::sort_int::minus (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol -.
void	mcrl2::data::sort_int::make_minus (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol -.
bool	mcrl2::data::sort_int::is_minus_application (const atermpp::aterm &e)
	Recogniser for application of -.
const core::identifier_string &	mcrl2::data::sort_int::times_name ()
	Generate identifier *.
function_symbol	mcrl2::data::sort_int::times (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_times_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_int::times (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_int::make_times (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol *.
bool	mcrl2::data::sort_int::is_times_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_int::div_name ()
	Generate identifier div.
function_symbol	mcrl2::data::sort_int::div (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_div_function_symbol (const atermpp::aterm &e)
	Recogniser for function div.
application	mcrl2::data::sort_int::div (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol div.
void	mcrl2::data::sort_int::make_div (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol div.
bool	mcrl2::data::sort_int::is_div_application (const atermpp::aterm &e)
	Recogniser for application of div.
const core::identifier_string &	mcrl2::data::sort_int::mod_name ()
	Generate identifier mod.
function_symbol	mcrl2::data::sort_int::mod (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_mod_function_symbol (const atermpp::aterm &e)
	Recogniser for function mod.
application	mcrl2::data::sort_int::mod (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol mod.
void	mcrl2::data::sort_int::make_mod (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol mod.
bool	mcrl2::data::sort_int::is_mod_application (const atermpp::aterm &e)
	Recogniser for application of mod.
const core::identifier_string &	mcrl2::data::sort_int::exp_name ()
	Generate identifier exp.
function_symbol	mcrl2::data::sort_int::exp (const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_int::is_exp_function_symbol (const atermpp::aterm &e)
	Recogniser for function exp.
application	mcrl2::data::sort_int::exp (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol exp.
void	mcrl2::data::sort_int::make_exp (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol exp.
bool	mcrl2::data::sort_int::is_exp_application (const atermpp::aterm &e)
	Recogniser for application of exp.
function_symbol_vector	mcrl2::data::sort_int::int_generate_functions_code ()
	Give all system defined mappings for int_.
function_symbol_vector	mcrl2::data::sort_int::int_generate_constructors_and_functions_code ()
	Give all system defined mappings and constructors for int_.
function_symbol_vector	mcrl2::data::sort_int::int_mCRL2_usable_mappings ()
	Give all system defined mappings that can be used in mCRL2 specs for int_.
implementation_map	mcrl2::data::sort_int::int_cpp_implementable_mappings ()
	Give all system defined mappings that are to be implemented in C++ code for int_.
const data_expression &	mcrl2::data::sort_int::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_int::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_int::right (const data_expression &e)
	Function for projecting out argument. right from an application.
data_equation_vector	mcrl2::data::sort_int::int_generate_equations_code ()
	Give all system defined equations for int_.