standard.h File Reference

Standard functions that are available for all sorts. 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_bool
	Namespace for system defined sort bool_.

Functions
const basic_sort &	mcrl2::data::sort_bool::bool_ ()
	Constructor for sort expression Bool.
const function_symbol &	mcrl2::data::sort_bool::false_ ()
	Constructor for function symbol false.
const function_symbol &	mcrl2::data::sort_bool::true_ ()
	Constructor for function symbol true.
application	mcrl2::data::sort_bool::and_ (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol &&.
application	mcrl2::data::sort_bool::not_ (const data_expression &arg0)
	Application of function symbol !.
bool	mcrl2::data::sort_bool::is_bool (const sort_expression &e)
	Recogniser for sort expression Bool.
function_symbol	mcrl2::data::equal_to (const sort_expression &s)
	Constructor for function symbol ==.
template<typename DataExpression >
bool	mcrl2::data::is_equal_to_function_symbol (const DataExpression &e)
	Recogniser for function ==.
application	mcrl2::data::equal_to (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol ==.
template<typename DataExpression >
bool	mcrl2::data::is_equal_to_application (const DataExpression &e)
	Recogniser for application of ==.
function_symbol	mcrl2::data::not_equal_to (const sort_expression &s)
	Constructor for function symbol !=.
template<typename DataExpression >
bool	mcrl2::data::is_not_equal_to_function_symbol (const DataExpression &e)
	Recogniser for function !=.
application	mcrl2::data::not_equal_to (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol !=.
template<typename DataExpression >
bool	mcrl2::data::is_not_equal_to_application (const DataExpression &e)
	Recogniser for application of !=.
function_symbol	mcrl2::data::if_ (const sort_expression &s)
	Constructor for function symbol if.
template<typename DataExpression >
bool	mcrl2::data::is_if_function_symbol (const DataExpression &e)
	Recogniser for function if.
application	mcrl2::data::if_ (const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol if.
template<typename DataExpression >
bool	mcrl2::data::is_if_application (const DataExpression &e)
	Recogniser for application of if.
function_symbol	mcrl2::data::less (const sort_expression &s)
	Constructor for function symbol <.
template<typename DataExpression >
bool	mcrl2::data::is_less_function_symbol (const DataExpression &e)
	Recogniser for function <.
application	mcrl2::data::less (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol <.
template<typename DataExpression >
bool	mcrl2::data::is_less_application (const DataExpression &e)
	Recogniser for application of <.
function_symbol	mcrl2::data::less_equal (const sort_expression &s)
	Constructor for function symbol <=.
template<typename DataExpression >
bool	mcrl2::data::is_less_equal_function_symbol (const DataExpression &e)
	Recogniser for function <=.
application	mcrl2::data::less_equal (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol <=.
template<typename DataExpression >
bool	mcrl2::data::is_less_equal_application (const DataExpression &e)
	Recogniser for application of <=.
function_symbol	mcrl2::data::greater (const sort_expression &s)
	Constructor for function symbol >
template<typename DataExpression >
bool	mcrl2::data::is_greater_function_symbol (const DataExpression &e)
	Recogniser for function >
application	mcrl2::data::greater (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol >
template<typename DataExpression >
bool	mcrl2::data::is_greater_application (const DataExpression &e)
	Recogniser for application of >
function_symbol	mcrl2::data::greater_equal (const sort_expression &s)
	Constructor for function symbol >=.
template<typename DataExpression >
bool	mcrl2::data::is_greater_equal_function_symbol (const DataExpression &e)
	Recogniser for function >=.
application	mcrl2::data::greater_equal (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol >=.
template<typename DataExpression >
bool	mcrl2::data::is_greater_equal_application (const DataExpression &e)
	Recogniser for application of >=.
function_symbol_vector	mcrl2::data::standard_generate_functions_code (const sort_expression &s)
	Give all standard system defined functions for sort s.
data_equation_vector	mcrl2::data::standard_generate_equations_code (const sort_expression &s)
	Give all standard system defined equations for sort s.

Detailed Description

Standard functions that are available for all sorts.

Definition in file standard.h.