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.

Functions

function_symbol const &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

core::identifier_string const &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

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_

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

Constructor for function symbol false.

Returns: Function symbol false_

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

Generate identifier false.

Returns: Identifier false

function_symbol const &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

core::identifier_string const &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

function_symbol const &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

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

Generate identifier !

Returns: Identifier !

function_symbol const &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

core::identifier_string const &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_

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

Generate identifier true.

Returns: Identifier true