bool.h File Reference

The standard sort bool_. 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_.

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

Functions
const core::identifier_string &	mcrl2::data::sort_bool::bool_name ()
const basic_sort &	mcrl2::data::sort_bool::bool_ ()
	Constructor for sort expression Bool.
bool	mcrl2::data::sort_bool::is_bool (const sort_expression &e)
	Recogniser for sort expression Bool.
const core::identifier_string &	mcrl2::data::sort_bool::true_name ()
	Generate identifier true.
const function_symbol &	mcrl2::data::sort_bool::true_ ()
	Constructor for function symbol true.
bool	mcrl2::data::sort_bool::is_true_function_symbol (const atermpp::aterm &e)
	Recogniser for function true.
const core::identifier_string &	mcrl2::data::sort_bool::false_name ()
	Generate identifier false.
const function_symbol &	mcrl2::data::sort_bool::false_ ()
	Constructor for function symbol false.
bool	mcrl2::data::sort_bool::is_false_function_symbol (const atermpp::aterm &e)
	Recogniser for function false.
function_symbol_vector	mcrl2::data::sort_bool::bool_generate_constructors_code ()
	Give all system defined constructors for bool_.
function_symbol_vector	mcrl2::data::sort_bool::bool_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for bool_.
implementation_map	mcrl2::data::sort_bool::bool_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for bool_.
const core::identifier_string &	mcrl2::data::sort_bool::not_name ()
	Generate identifier !.
const function_symbol &	mcrl2::data::sort_bool::not_ ()
	Constructor for function symbol !.
bool	mcrl2::data::sort_bool::is_not_function_symbol (const atermpp::aterm &e)
	Recogniser for function !.
application	mcrl2::data::sort_bool::not_ (const data_expression &arg0)
	Application of function symbol !.
void	mcrl2::data::sort_bool::make_not_ (data_expression &result, const data_expression &arg0)
	Make an application of function symbol !.
bool	mcrl2::data::sort_bool::is_not_application (const atermpp::aterm &e)
	Recogniser for application of !.
const core::identifier_string &	mcrl2::data::sort_bool::and_name ()
	Generate identifier &&.
const function_symbol &	mcrl2::data::sort_bool::and_ ()
	Constructor for function symbol &&.
bool	mcrl2::data::sort_bool::is_and_function_symbol (const atermpp::aterm &e)
	Recogniser for function &&.
application	mcrl2::data::sort_bool::and_ (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol &&.
void	mcrl2::data::sort_bool::make_and_ (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol &&.
bool	mcrl2::data::sort_bool::is_and_application (const atermpp::aterm &e)
	Recogniser for application of &&.
const core::identifier_string &	mcrl2::data::sort_bool::or_name ()
	Generate identifier ||.
const function_symbol &	mcrl2::data::sort_bool::or_ ()
	Constructor for function symbol ||.
bool	mcrl2::data::sort_bool::is_or_function_symbol (const atermpp::aterm &e)
	Recogniser for function ||.
application	mcrl2::data::sort_bool::or_ (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol ||.
void	mcrl2::data::sort_bool::make_or_ (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol ||.
bool	mcrl2::data::sort_bool::is_or_application (const atermpp::aterm &e)
	Recogniser for application of ||.
const core::identifier_string &	mcrl2::data::sort_bool::implies_name ()
	Generate identifier =>.
const function_symbol &	mcrl2::data::sort_bool::implies ()
	Constructor for function symbol =>.
bool	mcrl2::data::sort_bool::is_implies_function_symbol (const atermpp::aterm &e)
	Recogniser for function =>.
application	mcrl2::data::sort_bool::implies (const data_expression &arg0, const data_expression &arg1)
	Application of function symbol =>.
void	mcrl2::data::sort_bool::make_implies (data_expression &result, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol =>.
bool	mcrl2::data::sort_bool::is_implies_application (const atermpp::aterm &e)
	Recogniser for application of =>.
function_symbol_vector	mcrl2::data::sort_bool::bool_generate_functions_code ()
	Give all system defined mappings for bool_.
function_symbol_vector	mcrl2::data::sort_bool::bool_generate_constructors_and_functions_code ()
	Give all system defined mappings and constructors for bool_.
function_symbol_vector	mcrl2::data::sort_bool::bool_mCRL2_usable_mappings ()
	Give all system defined mappings that can be used in mCRL2 specs for bool_.
implementation_map	mcrl2::data::sort_bool::bool_cpp_implementable_mappings ()
	Give all system defined mappings that are to be implemented in C++ code for bool_.
const data_expression &	mcrl2::data::sort_bool::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_bool::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_bool::right (const data_expression &e)
	Function for projecting out argument. right from an application.
data_equation_vector	mcrl2::data::sort_bool::bool_generate_equations_code ()
	Give all system defined equations for bool_.

Detailed Description

The standard sort bool_.

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

Definition in file bool.h.