mcrl2/data/bool.h

Include file:

#include "mcrl2/data/bool.h"

The standard sort bool_.

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

Typedefs

type mcrl2::data::sort_bool::implementation_map

typedef for std::map< function_symbol, std::pair< std::function< data_expression(const data_expression &)>, std::string > >

Functions

const function_symbol &mcrl2::data::sort_bool::and_()

Constructor for function symbol &&.

Returns: Function symbol and_.

application and_(const data_expression &arg0, const data_expression &arg1)

Application of function symbol &&.

Parameters:

• arg0 A data expression.
• arg1 A data expression.

Returns: Application of && to a number of arguments.

const core::identifier_string &mcrl2::data::sort_bool::and_name()

Generate identifier &&.

Returns: Identifier &&.

const data_expression &mcrl2::data::sort_bool::arg(const data_expression &e)

Function for projecting out argument. arg from an application.

Parameters:

• e A data expression.

Pre: arg is defined for e.

Returns: The argument of e that corresponds to arg.

const basic_sort &bool_()

Constructor for sort expression Bool.

Returns: Sort expression 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_.

Returns: All system defined constructors that are to be implemented in C++ 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_.

Returns: A mapping from C++ implementable function symbols to system defined mappings implemented in C++ code for bool_

function_symbol_vector mcrl2::data::sort_bool::bool_generate_constructors_and_functions_code()

Give all system defined mappings and constructors for bool_.

Returns: All system defined mappings for bool_

function_symbol_vector mcrl2::data::sort_bool::bool_generate_constructors_code()

Give all system defined constructors for bool_.

Returns: All system defined constructors for bool_.

data_equation_vector mcrl2::data::sort_bool::bool_generate_equations_code()

Give all system defined equations for bool_.

Returns: All system defined equations for sort bool_

function_symbol_vector mcrl2::data::sort_bool::bool_generate_functions_code()

Give all system defined mappings for bool_.

Returns: All system defined mappings 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_.

Returns: All system defined constructors that can be used in an mCRL2 specification 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_.

Returns: All system defined mappings for that can be used in mCRL2 specificationis bool_

const core::identifier_string &mcrl2::data::sort_bool::bool_name()

const function_symbol &false_()

Constructor for function symbol false.

Returns: Function symbol false_.

const core::identifier_string &mcrl2::data::sort_bool::false_name()

Generate identifier false.

Returns: Identifier false.

const function_symbol &mcrl2::data::sort_bool::implies()

Constructor for function symbol =>.

Returns: Function symbol implies.

application mcrl2::data::sort_bool::implies(const data_expression &arg0, const data_expression &arg1)

Application of function symbol =>.

Parameters:

• arg0 A data expression.
• arg1 A data expression.

Returns: Application of => to a number of arguments.

const core::identifier_string &mcrl2::data::sort_bool::implies_name()

Generate identifier =>.

Returns: Identifier =>.

bool mcrl2::data::sort_bool::is_and_application(const atermpp::aterm_appl &e)

Recogniser for application of &&.

Parameters:

• e A data expression.

Returns: true iff e is an application of function symbol and_ to a number of arguments.

bool mcrl2::data::sort_bool::is_and_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function &&.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching &&.

bool is_bool(const sort_expression &e)

Recogniser for sort expression Bool.

Parameters:

• e A sort expression

Returns: true iff e == bool_()

bool mcrl2::data::sort_bool::is_false_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function false.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching false.

bool mcrl2::data::sort_bool::is_implies_application(const atermpp::aterm_appl &e)

Recogniser for application of =>.

Parameters:

• e A data expression.

Returns: true iff e is an application of function symbol implies to a number of arguments.

bool mcrl2::data::sort_bool::is_implies_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function =>.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching =>.

bool mcrl2::data::sort_bool::is_not_application(const atermpp::aterm_appl &e)

Recogniser for application of !.

Parameters:

• e A data expression.

Returns: true iff e is an application of function symbol not_ to a number of arguments.

bool mcrl2::data::sort_bool::is_not_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function !.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching !.

bool mcrl2::data::sort_bool::is_or_application(const atermpp::aterm_appl &e)

Recogniser for application of ||.

Parameters:

• e A data expression.

Returns: true iff e is an application of function symbol or_ to a number of arguments.

bool mcrl2::data::sort_bool::is_or_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function ||.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching ||.

bool mcrl2::data::sort_bool::is_true_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function true.

Parameters:

• e A data expression.

Returns: true iff e is the function symbol matching true.

const data_expression &mcrl2::data::sort_bool::left(const data_expression &e)

Function for projecting out argument. left from an application.

Parameters:

• e A data expression.

Pre: left is defined for e.

Returns: The argument of e that corresponds to left.

void mcrl2::data::sort_bool::make_and_(data_expression &result, const data_expression &arg0, const data_expression &arg1)

Make an application of function symbol &&.

Parameters:

• result The data expression where the && expression is put.
• arg0 A data expression.
• arg1 A data expression.

void mcrl2::data::sort_bool::make_implies(data_expression &result, const data_expression &arg0, const data_expression &arg1)

Make an application of function symbol =>.

Parameters:

• result The data expression where the => expression is put.
• arg0 A data expression.
• arg1 A data expression.

void mcrl2::data::sort_bool::make_not_(data_expression &result, const data_expression &arg0)

Make an application of function symbol !.

Parameters:

• result The data expression where the ! expression is put.
• arg0 A data expression.

void mcrl2::data::sort_bool::make_or_(data_expression &result, const data_expression &arg0, const data_expression &arg1)

Make an application of function symbol ||.

Parameters:

• result The data expression where the || expression is put.
• arg0 A data expression.
• arg1 A data expression.

const function_symbol &mcrl2::data::sort_bool::not_()

Constructor for function symbol !.

Returns: Function symbol not_.

application not_(const data_expression &arg0)

Application of function symbol !.

Parameters:

• arg0 A data expression.

Returns: Application of ! to a number of arguments.

const core::identifier_string &mcrl2::data::sort_bool::not_name()

Generate identifier !.

Returns: Identifier !.

const function_symbol &mcrl2::data::sort_bool::or_()

Constructor for function symbol ||.

Returns: Function symbol or_.

application mcrl2::data::sort_bool::or_(const data_expression &arg0, const data_expression &arg1)

Application of function symbol ||.

Parameters:

• arg0 A data expression.
• arg1 A data expression.

Returns: Application of || to a number of arguments.

const core::identifier_string &mcrl2::data::sort_bool::or_name()

Generate identifier ||.

Returns: Identifier ||.

const data_expression &mcrl2::data::sort_bool::right(const data_expression &e)

Function for projecting out argument. right from an application.

Parameters:

• e A data expression.

Pre: right is defined for e.

Returns: The argument of e that corresponds to right.

const function_symbol &true_()

Constructor for function symbol true.

Returns: Function symbol true_.

const core::identifier_string &mcrl2::data::sort_bool::true_name()

Generate identifier true.

Returns: Identifier true.